Correction de la commande check. Elle marche. Il reste quelques affichages a supprimer plus tard.
Correction de la commande check. Elle marche. Il reste quelques affichages a supprimer plus tard.

mcc-petrinets/formulas,mcc-petrinets/formulas,mcc-petrinets/formulas,mcc-petrinets/formulas,mcc-petrinets/formulas,mcc-petrinets/formulas,mcc-petrinets/formulas,mcc-petrinets/formulas