Mot reconnu

Implémentation de la fonction est_mot_reconnu
=> condition à finir d'implémenter (dernier état atteint appartient aux finaux)
=> condition implémentée (un des états atteints est final)

=> nuance entre 'un des' et 'le dernier'

Idée : tester que la dernière lettre du mot fait partie des transitions ayant pour destination un état final