## Dépôt Treviño
## Il faut obligatoirement entrer cette commande dans un terminal avant d'utiliser le dépôt :
## wget http://download.tuxfamily.org/3v1deb/DD800CD9.gpg ; sudo apt-key add DD800CD9.gpg
deb http://download.tuxfamily.org/3v1deb edgy 3v1n0
deb-src http://download.tuxfamily.org/3v1deb edgy 3v1n0