Bien que j'aie réglé " Masquer automatiquement le Dock " sur On, le dock ne disparaît pas. Les icônes sur le bureau se déplacent un peu vers la gauche afin qu'elles soient partiellement couvertes par le dock, mais le dock reste là tant qu'il n'y a pas de fenêtre maximisée le couvrant.
La première image montre un extrait de mon bureau avec masquage automatique activé, la seconde avec masquage automatique désactivé.
La troisième photo montre ce que je voulais et ce que j'ai obtenu grâce à la réponse de @ pomsky.
