supprimé des servlets inutiles
correction d'un bug sur l'ajout d'une ligne de caractéristique dans la recherche rapide