$RE est parti, on y va, on y va ! Les bonnes nouvelles sont finalement épuisées : ce qui devait monter l’a à peu près déjà fait.