Vérification et minimisation de systèmes séquentiels — Thomas Tamisier