Plantage de Jupyter hub

Salut,
Pour info, le serveur a planté tout à l’heure. C’était au moins à 15h23 (Cf topic Jupyter notebooks). Apparemment, ceux qui étaient déjà connectés n’avaient pas de problème.
Quelqu’un a signalé un blocage hier (Cf topic Jupyter Hub Error) mais c’est le seul, bizarre. A mon avis, c’est un autre problème sinon on aurait eu une tonne de messages.
En tout cas, @brospars a relancé le serveur et c’est reparti.