Supprimer KMER_INDEX ?
Faudra-t-il un jour supprimer KMER_INDEX
?
Attendre déjà de voir !78 (merged) et les conséquences. Proposition : même si on décide de supprimer, attendre minimum 6 mois, si ce n'est 12, après la release incluant !78 (merged).