ex01 : ok
ex02 : syntax error ligne 1 (espaces)
ex03 : syntax error ligne 1 (numero version)
ex04 : ok
ex05 : syntax error ligne 2 (espace après le =)
ex06 : syntax error ligne 3 (identifiant)
ex07 : ok
ex08 : syntax error ligne 4 le event doit etre un char
ex09 : ok (avec les espaces)
ex10 : ne doit pas accepter signal="plou"
ex11 : ok mais la V2 doit donner état initial inconnu
ex12 : ok et V2 doit dire que s1 est initial
ex13 : v1 ok, V2 : cet état existe déja ligne 8 
ex14 : ok.

les autres exemples sont syntaxiquement correct et O doublon

Pour info les autres exemples viennent de parsing de code C "réel". 
L'automate est généré par la compilation. Les noms des transitions
correspondent à des instructions C. 