debut typage yacc