instrument de mesure des longueurs : micromètre à fils dit micromètre de la grande lunette équatoriale - POP