Correction des exercices

Correction des exercices. £. ¢. ¡. Exercice 1 ... Exercice 3. Pour justifier la terminaison de cette fonction, on munit N2 de l'ordre lexicographique, et on prouve par ...