modif Yacc