/* Tri du vecteur v de taille n, par ordre croissant */

void tri_insertion(int v[], int n)
{
  int  k, i, a;

  for (k = 1; k < n; k++)
    {
      a = v[k];
      for (i = k - 1; i >= 0 && v[i] > a; i--)
        v[i + 1] = v[i];

      v[i + 1] = a;
    }
}