Utilisation d'une boîte à outil d'automates

F. Barthélemy