Un moteur de recherche plus performant

Le moteur de recherche que vous utilisiez peut-être (« l’œil » comme les plus aguerris le nommaient) a connue une vraie mue. Il est désormais disponible en permanence, en haut de l’écran.

Vous saisissez quelques caractères… et l’ensemble des indicateurs les contenant vous apparait, rangés par catégorie thématique. N’hésitez pas à en abuser !