dev#163422 : options for domains selector in search are sorted the way it was...
requested to merge dev#163422_affichage_des_options_dans_l_ordre_de_selection_des_facettes_pour_la_recherche into master
dev#163422 : options for domains selector in search are sorted the way it was defined (and not alphabetically).