proof_order intermediaire

Ordonnez les règles de Hoare pour prouver {x=X, y=Y} temp=x; x=y; y=temp; {x=Y, y=X}

temp = x; x = y; y = temp;