J’ai oublié de le mentionner dans l’article d’hier : plutôt que le créer le fichier /etc/apt/apt.conf.d/01proxy, vous pouvez modifier le fichier /etc/apt/sources.list comme ceci :
deb http://IP_du_serveur_choisi:3142/ftp.fr.debian.org/debian/ stable main
L’un ou l’autre, c’est vous qui voyez. (et on peut remplacer ftp.fr.debian.org par le miroir qu’on veut bien sûr)