Ce soir, j'ai essayé pour la première fois depuis longtemps de me connecter à apt-get.org, sans succès bien que je puisse pinger le serveur. Qu'en est il pour vous? -- alain <alainbe@free.fr>