Un Algorithme de vérification du schéma électrique extrait d'un circuit intégré — Yvan Serrat