1. La recherche
2. La sélection
3. La justification
4. L'appel récursif
5. La recherche sur les noms
les variables globales
bufhol
lst-bufhol
EMPILER-hol : empiler un nouveau Buffer.
EMPILER-hol
DEPILER-hol : dépiler un Buffer.
DEPILER-hol