constante entier N <- ...

{ Methode de recherche de la position           }
{ d'un entier v dans un tableau d'entiers       }
{ restreint aux indices 0 a l-1                 }
{ (n premieres valeurs)                        }

entier fonction positionInsertion(v,l,t)
  Données
    v : entier
    l : entier
    t : Tableau [N] de entier
  Locales
    p : entier
  p <- l
  faire
    p <- p-1
  tant que ( ( p >= 0 ) et ( v < t[p] ) )
  p <- p+1
  retourner p
fin fonction

{ Methode de decalage de une cellule            }
{ vers la droite du contenu des cellules        }
{ de l'indice indi a l'indice indf inclus       }
{ d'un tableau d'entiers                        }

action decalage(indi,indf,t)
  Donnees / Resultat
    t : Tableau [N] de entier
  Données
    indi : entier
    indf : entier
  Locales
    i : entier
  pour i de indf à indi pas -1 faire
    t[i+1] <- t[i]
  fait
fin action

{ Methode de tri par insertion d'un tableau     }
{ d'entiers                                     }

action triInsertion(t)
  Donnees / Resultat
    t : Tableau [N] de entier
  Locales
    i : entier
    p : entier
    v : entier
  pour i de 1 à N-1 faire
    p <- positionInsertion(t[i],i,t)
    si p <> i alors
      v <- t[i]
      decalage(p,i-1,t)
      t[p] <- v
    fsi
  fait
fin action