Verification Travel/Correspondence
Vérifier les contraintes bidirectionelles entre les deux classes Travel et Correspondence.
Vérifier que le handshake fonctionne bien.
Vérifier les contraintes d'intégrité UML :
- Une Correspondence appartient à un Travel
- Un Travel a 1 a 10 Correspondence