J'utilise MacOS Catalina depuis sa sortie mais aujourd'hui le Dock refuse soudainement de se cacher. Dans le volet des préférences, le Automatically hide and show the Dock
est grisée.
J'ai essayé killall Dock
qui cache le dock pendant 1 seconde, puis il revient.
Détails sur MacOS OSX Catalina 10.15.5 (19F101) Mac book pro 16" 2019