synchro des notations entre parser.mly et ast.mli