ajout option interessante de menhir : -v genere l'automaton, s'y referer pour voir ou le .conflict n'est pas content lors des multiples state X