This evening, around 10PM, our friendly network administrators will intervene on our infrastructure to complete some maintenance operations on various redundant services.
The operation will be transparent to our users, but there's always the possibility of the unexpected during these undertakings.

*** EDIT ***
Maintenance finished without any problem :)