Machines virtuelles pour langages applicatifs et langages acteur — Olivier Danvy