Contrainte sur l'association Correspondence -> City
La classe Correspondence a deux attributs de type City : startCity et destinationCity. L'association entre Correspondence et City étant unidirectionnelle, les tests à réaliser consistent à vérifier que les getters et les setters des deux attributs de type City fonctionnent correctement. Il faut également vérifier qu'on ne puisse pas avoir une correspondance n'ayant pas de startCity et destinationCity.