-%% Translation of GIT committish: 7eb450e8e6c935410b8f3212cb53e5a731f4f33f
+%% Translation of GIT committish: 05624d5147843d2fcbd6e4e126f1fd43142ac6e5
texidocfr = "
Avec un peu de code Scheme, voici comment ajouter facilement
la date du jour à votre partition.