Ajout des tests d'automate de matthieu