Étude d'un langage intermédiaire pour la compilation d'algol 60 — Jean Le Palmec