Nombre maximum d'occurrences par page   occurrences
Format de sortie détaillé simple
Ouverture des documents trouvés... dans la même fenêtre
dans une nouvelle fenêtre
chacun dans une nouvelle fenêtre
Marquage des occurrences
 
 
Format de police  en caractères gras
 normal
Remarque: Il est fait recours aux Cookies pour sauvegarder les options sur votre disque dur.