apt, http-proxy e M$-domain

["Michael Rausch" <Michael_Rausch@aprilia.it>]

Per usare apt-get devo passare attraverso il proxy aziendale.
A metà di settembre scorso Federico Di Gregorio spiegava come
si poteva fare:

>> in /etc/apt/apt.conf:
>> Acquire {
>>   http {
>>     Proxy "http://user:password@il.tuo.proxy:la_porta/";;
>>     // puoi anche giocare coi parametri della cache
>>     No-Cache "false";
>>     Max-Age "86400";
>>     No-Store "false";
>>   };
>> };

Il mio caso è complicato dal fatto che l'autenticazione per
aver accesso al proxy deve avvenire nell'ambito di un dominio
M$ (eh, già...).
Per poter navigare con un qualsiasi browser su Linux (e UNIX
in genere) ci si autentica come segue:

   Username: domain/user
   Password: password

e la cosa funziona egregiamente.
Usando la stessa sintassi in /etc/apt/apt.conf:

   Proxy "http://domain/user:password@il.tuo.proxy:la_porta/";;

il trucco non funziona e si ottiene il messaggio:

   Failed to fetch http://http.us.debian.org/debian/dists/stable/m
   ain/binary-alpha/Release
     Something wicked happened resolving domain/http
   (eccetera...)

dove 'domain' è il dominio specificato in apt.conf.

Qual'è la sintassi corretta da usare (ammesso che esista)?
Ringrazio in anticipo1
Mic