Corrigés des exercices du chapitre 6 - DENIF

Exercice 6.3. Algorithme de sortage: S(?,?,K) = K si ? est de la sorte ?, ou échec sinon. ? Si ? = ? et ? /? Dom(K): prendre K = K + {? ? ?}.