Vous savez probablement déjà que vous pouvez réduire (ou agrandir) le Dock en cliquant et en faisant glisser les barres qui séparent les applications des piles de dossiers. Vous savez probablement aussi que vous pouvez ajuster la taille du Dock dans les Préférences Système, en ouvrant le volet Dock & Menu Bar et en faisant glisser le curseur Taille comme vous le souhaitez.
Mais ces outils ne peuvent vous mener que jusqu’à présent. Ils rendront le Dock petit, mais pas vraiment petit. Pour ce faire, vous devez ouvrir le Terminal (Applications/Utilitaires) et taper :
defaults write com.apple.dock tilesize -integer 8
Appuyez sur Retour, puis tapez :
killall Dock
Le nombre à la fin de la commande peut aller de 1
(trop petit pour être utile) jusqu’à 16
(la plus petite taille que vous pouvez obtenir avec ces autres outils) ; 8
est minuscule mais toujours visible.

En haut : le plus petit que le Dock peut être en utilisant la préférence système Dock & Menu Bar.
En bas : Comment le Dock apparaît après le redimensionnement à un paramètre 1 dans le Terminal.
IDG
Pour rendre un si petit Dock utile, vous voudrez probablement activer le grossissement du Dock : Dans le volet des préférences système du Dock et de la barre de menus, cochez la case Grossissement et ajustez le curseur.
Si vous souhaitez revenir à une taille plus normale, le moyen le plus simple de rétablir ce paramètre est d’ouvrir à nouveau ce volet de préférences et d’utiliser le curseur Taille. Dès que vous cliquez et faites glisser, vous serez ramené à la plage de taille normale pour le Dock.