Hello, j'ai un peu le même soucis. Le petit gain de place et la meilleure lisibilité de l'écran quand le dock est masqué, est perturbée par cette petite latence lors de sa réapparition.
Un des quelques logiciels de régalges des options cachées sous MAC permet-il de changer cela ? :)