Si c'est juste le dns de ton FAI qui est en panne, tu peux en changer. D'ailleurs les dns publiques sont plus rapides que ceux des FAI :
https://www.malekal.com/comparatif-des-serveurs-de-noms-dns-google-opendns-quad9-ultra-dns-etc/
--------------------------------------------
https://www.numerama.com/tech/208908-comment-changer-ses-dns-ubuntu-macos-windows.html
Comment changer ses DNS ?
Changer ses DNS sur Mac : pour changer vos DNS sur Mac, c’est tout simple : allez dans Réglages / Réseau / Avancé / DNS. Ajoutez ici les DNS que vous souhaitez (liste ci-dessous) en cliquant sur le + en bas à gauche.
Changer ses DNS sur Windows : allez dans Centre Réseau et Partage puis Changer les paramètres de la carte. Faites un clic droit sur votre connexion puis Propriétés. Sélectionnez Protocole Internet Version 4 et remplissez en bas les cases Serveur DNS préféré et Serveur DNS auxiliaire.
Changer ses DNS sur Ubuntu / Gnome : allez dans Paramètres Système / Réseau / Options / IPV4 ou IPV6 / DNS. C’est ici que vous pouvez remplacer vos DNS.