Très bien. Dans le doute, j'ai effectué une réinitialisation du Mac. Même si je doute que cela change quelque chose, j'avais au début fait quelques modifications depuis le terminal, comme modifier la rapidité d'affichage du dock au passage de la souris et d'autres petites choses. Je vais faire...