Ajout de la commande pour al comparaison automate/expression rationnelle. Ajout de la fonction de génération d'automate aléatoire