Ah et en passant, security.debian.org (32.1.10.120) ne répond pas non plus (cf. un de mes message précédent), et le système est tout frais. Un ajout de la bonne ligne dans /etc/hosts n'a pas aidé cette fois..