koha-plugin-easysearch Plugin permettant d'ajouter un moteur de recherche personnalisé dans les navigateurs compatibles depuis l'interface publique de Koha