Entrée

1. tableau $tbl$ trié entre deux indices $g$ et $d$
2. $g \leq d$
3. $val < tbl[d]$

Le point 3 de la spécification en entrée permet de garantir qu'une position d'insertion existe entre $g$ et $d$. En effet si $val >= tbl[d]$, le tableau étant trié, val est plus grand que tous ses éléments. Dans ce cas il n'y a donc pas de position où insérer l'élément: celui ci peut être posé à la fin du tableau. L'algorithme ne doit pas être appelé dans ce cas.