Panne serveur
- Après une longue absence, le bouchot est de nouveau online. Le problème venait de la conf de grub, qui avait été b0rkée par une mise à jour. Reste à savoir pourquoi le serveur avait rebooté, mais ça peut arriver. La longueur dans la solution du problème vient entre autres du fait que j'étais en vacances.