Ajout de Proposition (Variable, Not, And, Or et evaluations). Tests dans le... (!1) · Requêtes de fusion · Emmanuel STALDER / model-checking

Ajout de Proposition (Variable, Not, And, Or et evaluations). Tests dans le main ok. Changement de place de include

Ajout de Proposition (Variable, Not, And, Or et evaluations). Tests dans le...