Ben j'ai résolu mon problème en passant par un autre DNS avec Network Manager.
J'ai pris Quad9 et ça marche très bien.
Comment puis-je procéder pour signaler ce problème à k-net ? Je ne dois pas être le seul, et il y a sans doute d'autres sites difficiles à atteindre.