creer le graphe
ajout de modelisation d'automate via graphviz