proof_order intermediaire

Ordonnez les regles : affectation, conditionnel, boucle, composition.

while (k < n) { if (x[k] < x[j]) j = k; k++; }