-nouvelle grammaire plus permissive avec au niveau du type et des parenthèses
-dans machine: correction des tests type -> operation sur des listes