Modèles en termes d'automates — Gérard Ferrand