Merci à tous ceux qui ont travaillé pour résoudre ce problème, et qui nous permettent de retrouver le site totalement opérationnel ! C’est plutôt rassurant, finalement, de savoir que cela a été induit par une opération technique sur le site – et non un problème informatique imprévisible et dévastateur …