<2013-06-09> problème d'encodage javadocs.
Authored by: vincentb1 2013-06-13
Parent: [r1843]
Child: [r1845]