Timer: possibilité de configurer le format horaire du timer

[fuhrmannb]

Exemple d'utilisation : pouvoir spécifier un format horaire où on peut afficher les centièmes.

Le format pourrait suivre un format de parse de type hh:mm:ss.cc (à voir ce que Javascript propose pour faire ça).