Merci merci pour cette co(q)uille qui n'en finit pas de revenir

Un étudiant m'a fait remarquer que le paragraphe 1.2.4 du poly de cours avait plusieurs erreurs.

Vous aviez tous bien sûr repéré ces erreurs manifestes.

Avant :

x= 3 & y = 1

Opération (substitution)

y := x + 2 ; x := x + 2

Après :

x = 5 & y = 3


Avant

x= 3 & y = 1

Opération (substitution)
x:= x + 2 ; y := y + x

Après

x = 5 & y = 6


Avant

x= 3 & y = 1

Opération (substitution)
y := y + x ; x := x + 2

Après

x = 5 & y = 4

J'espère ne pas avoir écrit une ...

Quand on fera du raffinage en B, on prouvera que ce que l'on a écrit au niveau abstrait (sans séquencement) est bien réalisé par l'implantation (où on a introduit le séquencement).