Maintenance ce soir à 23 h (30/11/2015)

Nous redémarrons tous nos serveurs ce soir. Ceci ne devrait causer aucune interruption de services puisque la manipulation sera faite un serveur à la fois.