fixing bug #5779 Le moteur de recherche ne cherche pas toujours sur les ...

...synonymes d'un terme