Thanks Burt,
Explorer (It is an old version, I only use it for system updates) does the same thing. As I cannot ping a server by it's name, it seems to me than the problem is at a more basic level. I first had tried to remove Firefox, but that didn't change anything. I then had tried to restore...