fonctions traiter et eval-expr sont testées