Ajoute une barre de recherche supplémentaire sur les pages de catégorie pour y rechercher des fichiers.
