chapitre 3 Automates d’etats finis AEF