Interprétation par syntaxe abstraite d'ordre supérieur et traduction en combinateurs.