<2012-08-19> (preferences) @code -> @file pour nom de fichiers. `tex' -> `.tex'. Et typos.
Authored by: vincentb1 2012-08-19
Parent: [r1530]
Child: [r1532]
