Récusivité terminale ?

[jack-ft]

Hier, j'ai passé pas loin d'une heure sur cette !?#@$ fonction 'eval' car:
- certaines FAQ ne sont pas très à jour Why is there no EVAL in Scheme?
- je n'ai pas réussi à trouver d'exemple de 'eval' qui marche ailleurs qu'au toplevel.
- je n'ai pas réussi à trouver comment obtenir un environment à passer à 'eval'.
- certaines docs ne sont pas très à jour make-environment: cette fonction n'existe plus depuis la 7.7.0.
- je n'ai pas réussi à faire '(set! env (the-environment))' car je ne savais pas qu'il fallait déclarer les variables globales.

Finalement, j'ai quand même réussi et, au hasard de mes recherches, je suis tombé sur la définition méta-circulaire de l'interprète scheme:
Scheme in scheme qui peut servir d'inspiration pour compléter ce que j'ai commencé...