Introduce global search on home page

[skelz0r]

Que fait cette PR ?

• Ajout de l'indexation (minimal) du catalogue
• Recherche globale sur la home page

Pourquoi fait-on ça ? Contexte, PR, issue liée ?

https://3.basecamp.com/4318089/buckets/14906626/todos/3469013987

---

Breakdown:

• [ ] Ajout le nombre de hits / entrée
• [x] Documentation : si hits > 4 => mettre un lien direct vers la recherche de la doc
• [x] Catégories clickables
• [x] Indexation des providers -> mettre les vrais noms
• [x] Icons catégories
• [x] Use cases: recherche que dans les titres
• [x] Bug catalogue RNM qui s'affiche mal
• [x] Support style
• [x] Support permalink
• [ ] Finaliser le design