[Mise à jour] : Mise en place de nombreux assert et quelques invariant