Contrefactuel : résolution de bugs

assigned to @eraviart

added 1 commit

• 95dc982c - Use either law or revaluation, but not both

Compare with previous version

mentioned in commit bb25b6d3

merged