police de la barre des tâches trop petite