instrument de mesure des longueurs (micromètre) dit micromètre de l'équatorial coudé - POP