Définition interprétative et implantation de langages de programmation — Patrick Cousot