confirmer que tous les OCL contraints marchent pour la partie base de
données