Gros packs de mises à jour:
#correction de plusieurs problèmes avec le split d'index qui créaient
des fichiers d'index vides.
#modification du code pour utiliser l'index binaire à la place de
l'index de textes
#désactivation temporaire de la fenêtre de recherche de Pierre
+ajouts de nombreuses fonctions permettant de générer un index binaire