Conversion des fichiers d'aide au format Texinfo
Authored by: vincentb1 2012-01-29
Parent: [r1398]
Child: [r1400]
