Problème d'inclusion cyclique dans mjdep réglé.