Le Wed, 20 Nov 2013 20:34:31 +0100, RHATAY Sami <rhatay.e1302636@etud.univ-ubs.fr> a écrit : > Donc c'est décidé, je change de terminal! (avant de décider de > changer Gnome....) Qu'utilisez-vous en alternative ? Mate desktop