Tri par tas

let tri_par_tas arr =
  let n = Array.length arr in
  let t = cree n in
  for i = 0 to n - 1 do insere t arr.(i) done;       (* tout insérer *)
  for i = 0 to n - 1 do arr.(i) <- extrait_min t done (* extraire dans l'ordre *)

On insère tous les éléments dans un tas, puis on les extrait : l'extraction du minimum à répétition les rend dans l'ordre croissant. $n$ insertions et $n$ extractions, chacune en $\Theta (\log n)$, soit $\Theta (n\log n)$ — la même garantie que le tri fusion (chapitre 9).