NavList thread: Theory of the correction of celestial observations made for spacenavigation or training