Fin de maintenance, le serveur se relance. Merci à vous !

Début de maintenance

Dans le but de régler certains problèmes de déconnexions, nous allons réaliser une courte maintenance à 17h, qui sera guère plus longue qu'un restart classique.