EXERCICE 1.5 Récurrence simple, correction d'un tri de tableaux. On rappelle l'
algorithme du tri-insertion ... Cahier d'exercices MIF09 ? Automne 2016. POUR i
DE ideb + 1 A N-1 ... L'objectif de ce sujet est de faire appréhender par la
construction ?manuelle? la puissance d'expressivité du modèle des machines de
Turing. 
