Erreur résolue, il manquait l'alphabet dans l'instance de l'automate à retourner