mise à jour du 9 mars: retour à la normale; j’espère que cela va durer…

Malgré quelques dysfonctionnements techniques persistants, les publications et mises à jour (impossibles depuis le 10 février) reprennent progressivement.