Merge branch 'master' into 'master'

Ajout d'une barre de recherche

See merge request !3
2 jobs for master in 24 seconds (queued for 56 seconds)
Status Job ID Name Coverage
  Deploy
passed #1033941
docker manual
pages

00:00:24

passed pages:deploy

00:00:00