Bonjour, Je suis sur Ubuntu 17.10. Parfois, toutes les icônes du dock disparaissent, aussi bien les raccourcis que les applications ouvertes. Avez-vous déjà rencontré ce problème ? Y a-t-il un moyen de le résoudre ? Sébastien