merci pour votre réponse. > > Le plus standard (cela marche avec apt mais aussi avec wget et avec > des tas d'autres logiciels) est de mettre dans l'environnement : > > http_proxy=http://mon-cache.mon.domaine:3128/ > ftp_proxy=http://mon-cache.mon.domaine:3128/ > > par exemple en mettant ces lignes dans /etc/environment. et faut-il modifier quelque chose dans /etc/apt/sources.list ?