Uniformisation et amélioration du nom de la préférence de recherche de
l'utilisateur.