Ajout du graphe d'états (#1)