You may also resolve directly at: https://dns.google/resolve?name=hal-polytechnique.archives-ouvertes.fr&type=A