instrument astrométrique : équatorial coudé - POP