Bien utiliser ce moteur de recherche

Les onglets "Public", "Intranet" vous permettent d'effectuer vos recherches respectivement sur les sites INRIA publics, ou sur l'ensemble des sites INRIA (intranets et publics).

1. Saisir une recherche et voir les résultats.

Entrez votre requête dans la case recherche, puis cliquez sur le bouton "ok". Pour en savoir plus, cliquez sur le bouton "aide" situé à côté du drapeau.
Si vous souhaitez que votre recherche soit traduite, utilisez la boîte de dialogue "traduction". Attention, la traduction se fait mot à mot !
Par défaut, les résultats les plus pertinents s'affichent en premier. Attention, ils sont parfois regroupés par lot pour éviter qu'une catégorie de réponse ne monopolise l'affichage des résultats.
Quand un résultat en regroupe plusieurs, une ligne "Accéder à l'ensemble des résultats" apparaît avec lien HTML rouge. Cliquez sur ce dernier pour obtenir tous les résultats.

2. Affiner une recherche.

Restreindre les résultats de recherche à une section du site, à un type de publication, à une année...
Cliquez sur l'intitulé de la catégorie de documents à laquelle, vous souhaitez limiter votre recherche.

La catégorie s'affiche ensuite en jaune. Cliquez de nouveau dessus, si vous souhaitez enlever votre restriction.
Supprimer des catégories entières de résultats
Cliquez sur les caractères moins situé devant la catégorie dont vous ne voulez pas. Vous pouvez répéter l'opération et supprimer plusieurs catégories.

La catégorie s'affiche ensuite en jaune et son intitulé est rayé. Cliquez de nouveau dessus, si vous souhaitez enlever votre suppression.
Trier l'affichage
Si vous souhaitez obtenir les résultats les plus récents, cliquez sur l'intitulé de la colonne "Date". Vous pouvez également retirer ou sélectionner des années entières grâce à la boite de dialogue "Date" sur le côté gauche.

Pour une utilisation avancée, consultez la page d'aide