Bonjour
Si vous essayez de faire un automate d’état fini avec les compteurs, cela ne marchera pas.
Le compteur = N comme le propose @ZogStriP n’est pas possible. L’IPX applique compteur >= N
Pour creer un automate vous pouvez vous inspirer de ceci.
Cdt.