Dev#19303 pagination des resultats de recherche pouvoir afficher la pagination en haut de page
Merged
requested to merge dev#19303_pagination_des_resultats_de_recherche_pouvoir_afficher_la_pagination_en_haut_de_page into master
mentioned in commit e1538b