[eclipse 3.3] paramétrage de recherche.

Version imprimable