Terminaison et correction d'algorithmes NSI - GitLab

Pi := le sous-tableau t[O:i] est trié dans l'ordre croissant et si t[O:i] est non vide et t[i:] non vide alors t[i-1] est inférieur ou égal à tous les éléments ...