corriger la taille de la police de la barre des tâches