Ajouter une page dans paramétrage des widgets:
Widget search
Le widget search est paramétrable: il permet de choisir le serveur search (le nom est celui de la table des serveurs)
Si aucun serveur n'est renseigné, le serveur search par défaut de l'environnement est utilisé.