Techniques informatiques dans la vérification des gardes technologiques des circuits intégrés — Laurence Gallot