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