quelques rectifications dans Stack + suppression Def