ajout du test de automate_co_accessible