[Algo]
procedure TriInsertion (TabInt : in_out tableau_de entier)
debut
pour (i variant_de 1 a taille(TabInt) – 1)
faire
declarer x : entier;
x <- TabInt [i];
declarer j : entier_naturel;
j <- i;

tant_que ((j > 0) ET_ALORS (TabInt[j – 1] > x))
faire
TabInt[j] <- TabInt[j – 1];
j <- j – 1;
ffaire

TabInt[j] <- x;
ffaire
fin
[/Algo]