Méthodes cibles dans Etat et Automate