README : ajout des automates à états finis