@bortzmeyer @lanodan Finalement, je me suis fait violence:
$ echo Q | openssl s_client -connect www.debian.org:443 2> /dev/null | \
openssl x509 -pubkey -noout | openssl pkey -pubin -outform DER | sha256sum
Et je viens de prévenir hostmaster@, on verra combien de temps ça prend :)