Contribution à l'analyse automatique de circuits intégrés VLSI — Marc Villemon