Displayed timer on execution window seems incorrect
Reported by Denis B.
"le timer du cours me semble donner des temps farfelus (pour 64 min, j'ai seulement ~1800 s, la moitié ?)"
timer du cours -> "celui qui donne les secondes en espagnol (!)
(pour le détail, c'est dans l'exécution fenêtrée utilisée en général pour un debug, je ne sais pas si cela a de l'importance)"