Utilisation du bouton Back du navigateur lors des recherches

Dans les versions précédentes, en cliquant sur un résultat de recherche, puis en revenant en arrière à l'aide du bouton Back du navigateur, le moteur de recherche pouvait être réinitialisé. 

L'utilisation du bouton Back du navigateur est maintenant prise en charge, et la configuration du moteur de recherche (facettes, pagination, tri ...) est conservée.