<2013-06-15> Ajout documentation des préférences pour PSTricks & TikZ.
Authored by: vincentb1 2013-06-16
Parent: [r1852]
Child: [r1854]