instrument astrométrique : lunette de voyage décimale à monture équatoriale, Radiguet à Paris - POP