Si c'est les serveurs DNS d'Orange qui plantent, OK, mais en ce moment il n'y a pas de problème comme le tien, donc ils ont l'air d'être OK. Peut-être qu'avec les bons ça passera mieux :-)