Synchronisation

Je transmet les fonctions etats_accessibles, automate_accessible et automate_co_accessible en version finale

ATTENTION : la fonction 'creer_automate_des_sur_mots' est encore marquée comme à faire dans le dépôt principal. Merci de pusher les modif si concerné !

ATTENTION : les fonctions ajout_etat_initial et ajout_etat_final ont été corrigée (ajoute aussi l'état aux états de l'automate !)

=> Partie evaluation.c à écrire pour cette partie