Bonjour!

J'aimerai savoir comment on peut ajouter et vérifier des contraintes OCL sur un diagramme UML dans MagicDraw?