Merci pour Guake ! Je ne connaissais pas ce logiciel et je le trouve excellent, c'est aussi ça Linux : découvrir un logiciel inconnu, faire une recherche sur google qui nous renvoie vers la documentation
http://doc.ubuntu-fr.org/guake, un petit clic sur le lien
apt://guake et le logiciel est installé !