Ajout d'une barre de recherche à la bannière "After Header"

[erlend_sh (Erlend Sogge Heggen)]

You might be able to piece this together by looking at Header search plugin and one of these theme components:

https://meta.discourse.org/search?q=header%20%23theme%20