Abstract FR:

Presentation d'une machine virtuelle constituee de deux piles qui se remplissent et se vident conjointement. La premiere contient les structures servant a representer les etats de la machine. La deuxieme sert a memoriser les eventuelles modifications effectuees sur cette premiere pile de maniere a les defaire lors d'un retour arriere