Le serveur était down cet après-midi car en effet vient d'arriver un nouveau patch. Décidémment la cadence des patchs s'accélère... ce dernier (#187) améliore encore certaines évolutions techniques apportées par le patch 185, plus quelques autres corrections. Les détails ici.