Cela fait des mois que cela se prépare. Ce qui me rend super heureux, c'est qu'OSec a adopté une approche complètement différente de celle de Certora, tout en prouvant les mêmes propriétés. (Certora a prouvé la logique interne, OSec a prouvé au niveau du gestionnaire) Ce fut un plaisir de travailler avec @NotDeGhost