Vérification de réseaux d'automates finis… · Super Livre