Si une horloge sonne 13 fois, quelle heure est-il?