/* Comparaison du contenu de deux lignes */
int map_strcmp(const void *a_ptconst void *b_pt) {
  char *a = *((char**)a_pt);
  char *b = *((char**)b_pt);
  return strcmp(a,b);
}