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