Un disque système du serveur des $HOME cral, craldb, tofu, phoenix est tombé en panne cette nuit. Son remplacement a nécessité un redémarrage du serveur ce matin, vers 9h30 (~15mn de coupure totale).