Il y a un problème (que je te laisse découvrir) avec ce style de mises à jour :



x:= (!x)*.(!x) -.(!y)*.(!y) +.cr;
y:= 2.*.(!x)*.(!y)+.ci;
res:= (!x)*.(!x) +.(!y)*.(!y)< 4.;