Bug correct_model
dans le notebook ci-joint check_model detecte bien les problemes mais correct model se plante et ne preserve pas les ODEs
s'il y a un probleme non stricte il faut introduire les variables dual-rail pour les parties positive et négative -p et _m