L'idée de cette implémentation est de considérer les éléments au début du vecteur comme triés et les autres comme une source non triée d'éléments à insérer.
insertionvecteur.lisp
On remarque l'utilisation d'une clause with pour chacune des boucles, éliminant la nécessité de l'entourer d'un let. On remarque aussi la double condition de terminaison de la boucle intérieure, à la fois sur la comparaison des éléments et le fait d'arriver au début du tableau. Finalement, on remarque l'utilisation de la clause finally dans la boucle intérieure.
Comme le montre son utilisation, cette implémentation est stable :
Irene DURAND