Configurer le serveur de recherche documentaire

Modifié par jhurst le 2022/11/14 09:18

Menu Paramètres supplémentaires / Autres serveurs

Entrez l'adresse du serveur de recherche documentaire dans le champ URL du serveur de recherche documentaire