27 novembre 2003 [email protected] Habilitation à Diriger des Recherches présentée par Didier Parigot Contribution à la Programmation Générative.