Contribution à la vérification des circuits intégrés dans un environnement multivalue — Jean-Paul Caisso