Compacter l'outil de recherche de la barre des tâches de Windows 10