3 février 2018

Un petit billet rapide pour donner une astuce si, comme ça le faisait chez moi, le passage à Gnome Shell