Les automates sont fonctionnels
Pas de bugs visibles
Prise en compte des transitions d'état final
Manque état H pour prendre en compte la spec complète des automates