Pour vous répondre, j'attends les explications(*) de Denis au sujet du lambda-calcul auquel vous faites référence. Mon homépathique couche de mathématiques me laisse dans l'ignorance sur cette question.
(*) Je les ai demandées ailleurs sur ce forum.
J'espère vous revenir demain soir.
Évariste