ben x+1=3 ou x^2/2-2x+2=0 sont aussi strictement equivalents a x=2, hein