modifs yacc