/* contrat. Cette fonction calcule le produit de ses arguments. */ int mult_rus(int a, int b){ int p = a; int q = b; int r = 0; /* invariants et variant. */ while(q>0){ if (q%2 == 1) r = r+p; p = p+p; q = q/2; } return r; }