Ajout de la fonction de comparaison de deux automates minimales