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