Une Généralisation de la théorie de la fonctionnalité en lambda calcul. — Patrick Salle