Correction : $TRACE seulement dans rule() .
[lhc/ateliers.git] / lib / rule.sh
2013-02-19 Julien MoutinhoModification : polissage et log