Correction d'un bug sur des modèles non consistants de matchs