apt-get derrière un proxy

Parce que Oracle commence à me sortir par les trous de nez, j’ai décidé d’abandonner OpenOffice au profit de LibreOffice (le fork d’OO). Cependant, comme LibreOffice ne fera sans doute partie que de la prochaine version d’Ubuntu, il n’est pas disponible dans la logithèque. Cependant, il est présent sur launchpad. La procédure d’installation depuis les dépôts PPA n’a rien de sorcier sauf quand on est derrière un proxy. Voici le truc et astuce.
Depuis un terminal :

$ sudo -i
$ export https_proxy="http://proxy.mes.genoux.fr:8080"
$ export http_proxy="http://proxy.mes.genoux.fr:8080"
$ LANG=C add-apt-repository ppa:libreoffice/ppa

Un autre solution consiste à modifier le fichier /etc/apt/apt.conf

Acquire::http::Proxy "http://user:pass@proxy.mes.genoux.fr:3128";
Acquire::https::Proxy "http://user:pass@proxy.mes.genoux.fr:3128";