Génération automatique de parties opératives de circuits VLSI de type microprocesseur — Robert Jamier