instrument de mesure du temps : chronomètre dit de Leroy - POP