Signale une erreur découlant du fait que ModelCHECK a été exécuté sur les représentations simplifiées et non sur les représentations maîtresses.

Réglages conseillés :