Requirements Il y a des graphes dans la synthèse (dans le dossier fsa). Il faut utiliser dot pour les compiler