Vous remarquez que ces modèles sont aussi de qualité croissante si on prend comme critère la simplicité de l'expression des contraintes.