“…Or la sémantique opérationnelle de Lang est, dans le cas de l'appel par valeur, exactement celle de la «full value substitution rule»; le résultat de Lang prouve donc cette conjecture [5], Donnons un exemple simple de la transformation que nous utilisons : soit le schéma (p (x, y) = t (x, y) où y est appelé par valeur; nous le transformons en cp (x, y) = a (y, t (x, y)) où l'interprétation de a (y, z) sera toujours : si y = _L alors ± sinon z. C'est donc un test au sens de L Guessarian [7]. De manière générale, les transformations syntaxiques que nous utilisons consistent à introduire dans le schéma de nouveaux symboles fonctionnels qui seront toujours interprétés comme des tests.…”