<2010-06-26> Renommage à partir de ConvexeZoneTool.java
<2010-06-26> Renommage en ConvexZoneToolFactory.java, <2010-06-25> dos2unix
<2010-06-26> (PicVector) correction de javadoc
<2010-06-27> correction @link dans javadoc
<2010-06-27> explicite import jpicedt.format.input.util.*
<2010-06-27> (Pool::CURRENT_OBJ_ATTRIBUTES) correction @see dans javadoc
<2010-06-27> (PicTextFormatter) correction dans javadoc
<2010-06-27> (PEToolKit) correction @param dans javadoc
<2010-06-27> (JPICParser) correction @return dans javadoc
<2010-06-27> Renommage `convexe' -> `convex'
