Etat_initiaux
1 3
Etat_finaux
2 4
Alphabet
a b
Automate
1 a 2
3 b 4
FIN