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