on segmente le sous-tableau T en trois parties, place étant un indice:
* indices de inf à place-1dans cette partie, les valeurs sont inférieures à T[place]
* indice valant place
* indices de place+1 à supdans cette partie, les valeurs sont supérieures à T[place]
on initialise pivot à T[inf]
l'assertion de boucle pour la segmentation est:
{ si inf+1<=x<=i-1 alors T[x]<=pivot } et { si j+1<=x<=sup alors T[x]>pivot } et { les
...
Commentaires récents
