<2010-06-13> **Ajout** Préférences utilisateur spécifiques à l'encodage TikZ.
Authored by: vincentb1 2010-06-13
Parent: [r815]
Child: [r817]