Il peut être utile dans le cas d'un changement de DNS : Réinitialiser les serveurs de noms.
=> Télécharger DNSJumper
En haut, les interfaces réseaux, vous pouvez alors saisir l'adresse du serveur de nom en bas.
Et si besoins, remettre les DNS en automatiques :
Ou encore choisir à partir d'une liste :