Changements tri_insa 28/10/2014

- Doxygen fait pour le tri insertion et aléatoire.

- Problème de la permutation aléatoire lorsque le tableau est de taille
0 ( j'ai mit une assertion pour pallier au problème mais il s'en branle
lorsqu'on utilise la fonction via la fonction de tri aléatoire alors que
N bouge pas ... du coup ça plante ).

- Variable de compteur des unités de temps mise.

- Post-conditions des deux tris en cours d'élaboration dans les algos (
j'y ai un peu réfléchi mais je vois pas comment faire la première qui
consiste à comparer la taille du tableau en entrée avec celle du tableau
en sortie : soit comparer N avec N, ce qui est con ... )