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