Correction des exercices

Correction des exercices. £. ¢. ¡. Exercice 1 ... let (c1, y) = aux (i, k) and (c2, z) = aux (k+1, j) in. (c1 + c2 + acheval y z), (fusion y z).