Une Approche ensembliste pour l'intégration de sortes et fonctions en PROLOG — Jean-Yves Cras