utiliser le truc de POSet qu'a été remonté