On s'est rendu compte que les fichiers de timers intermédiaires (sorti à chaque écriture de fac) étaient vides… Il étaient en fait écrasés par les “gtimers” (timers ALE et autres). C'est corrigé…
Afin de ne pas polluer trop les workspaces, la sortie des timers intermédiaires est dorénavant optionelle via la commande :