Pour remplacer Tilda, Guake et compagnie: xfce4-terminal --drop-down À mettre en raccourci clavier bien sûr (m... http://t.co/5Y0qGI9qfI