<2010-06-12> Ajout bouton pour afficher le panneau d'outils de manipulation de zones convexes.
Authored by: vincentb1 2010-06-12
Parent: [r751]
Child: [r753]
