Horaire du pendule de Galilée - commentaires