Afin d'installer un nouveau disque dur sur bender (le serveur de courrier de no-log), nous allons arrêter ce serveur vers 18h. Ceci ne devrait prendre que quelques dizaines de minutes...