Quelle heure est-il si le grand horloge indique 9h45 ?