Configurer le serveur de recherche documentaire
Last modified by jhurst on 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