Progetto di un programma di calcolo geodetico spaziale: l'elaborazione statistica delle misure