NAS030 - NavAstro - Controllo della Sfera celeste con le formule della trigonometria sferica