Hey all,
Yesterday, 04-05-2021, (and this morning) the forum was inaccessible due to a certificate issue at the proxy server provided by the infrastructure provider (Inria). This has been resolved this morning (around 10:27) with a new certificate.
Cheers,