Nouvel autre bug. Quand on "externalise" ou "dédock" la barre d'outil (je l'avais mise sur la même ligne que le menu, pour ne pas perdre de place en hauteur, elle était "posée par dessus), elle reste au-dessus même quand on switche vers une autre application