Documentation de ht://Dig

Nous utilisons le logiciel ht://Dig, un logiciel libre, qui nous a permis de doter ce serveur d'un moteur de recherche. Nous avons rassemblé ici un certain nombre de points qui peuvent vous être utiles si vous n'avez pas l'habitude d'utiliser ce logiciel. En effet, chaque logiciel de recherche a sa propre syntaxe, ses propres particularités.

• ht://Dig cherche des mots, pas des phrases. "double hélice" ne cherchera pas la phrase "double hélice", mais toute page où apparaissent les deux mots, même séparés, par exemple "L'avantage est double : les pales de l'hélice ont plus de portance et l'appareil est plus léger".
• ht://Dig respecte les caractères composés (é, è, ç, à, etc.), ce qui signifie que la recherche de "congres" ne trouvera pas "congrès".
• ht://Dig est insensible à la casse : "ADN" et "adn" sont équivalents.
• Lors de la recherche, un menu à quatre choix vous est proposé. "Tous les mots" trouve les pages où chacun des mots que vous indiquez est présent ; "Au moins un mot parmi" peut vous proposer des pages où un seul des mots est présent ; "Recherche booléenne" est un mécanisme très utilisé en informatique documentaire : vous pouvez utiliser les opérateurs and (et) et or (ou), comme par exemple "ADN and (human or mouse)". Dans ce type de recherche booléenne, les parenthèses servent à regrouper les conditions. Enfin, vous pouvez effectuer une recherche sur l'ensemble des serveurs Web de l'Institut Pasteur, ou seulement sur une section, ou sur un serveur.
• Les résultats : ht://Dig vous présente, sous le titre de la page trouvée, un extrait de celle-ci, avec les mots recherchés en gras. Si les mots en question ne se trouvent pas au début de la page, ht://Dig affiche un petit texte expliquant que les mots recherchés ne se trouvent pas au début du document. En cliquant sur l'URL proposé, vous arriverez bien sûr au début de la page trouvée : en utilisant la fonction de recherche dans la page de votre butineur web favori, vous trouverez la localisation précise du mot recherché. La date de dernière mise à jour du document est affichée au format états-unien, avec le chiffre du mois au début.