Contribution à la compilation de PROLOG par évaluation partielle — Gilbert Landais