Complétez : { ??? } if (x < 0) x = -x; { x = |X| } (où X est la valeur initiale de x)

if (x < 0) x = -x;

Précondition {P} :

Écrivez la précondition. Format : 0 <= |x|

Valider