Le serveur web s'est pris les pieds dans le tapis ce matin, vers 9h30 passée. Certains sites ne répondaient plus, d'autres difficilement. La machine a été redémarrée vers 10h45. Le service est rétabli.