Vérification des règles de dessin des circuits intégrés MOS par une méthode de type TCL — Victor Bouadjio