You may also resolve directly at: https://dns.google/resolve?name=mail3-smtp-sop.national.inria.fr&type=A