Salut,
la recherche interne sur ce site était trop gourmande, vis-à-vis de la fréquentation du site (elle entraînait des ralentissements notables). Il a donc été décidé il y a quelques années de la désactiver ; et les admins de l'époque ont choisi le moteur qui garantissait alors le meilleur référencement pour notre forum en particulier. Ce choix pourrait, effectivement, être remis en cause ; mais encore faut-il contacter les bonnes personnes et espérer qu'elles aient le temps de s'en charger.
En attendant, tu peux installer
ce script utilisateur qui permet, entre autres, de changer le moteur de recherche utilisé par la barre en haut de pages.
