Verification Correspondence->City
Vérifier les deux contraintes uni-directionnelles de Correspondance à City.
Les deux contraintes sont :
- La ville de départ de la Correspondence
- La ville d'arrivée de la Correspondence
Vérifier qu'elles ne sont pas identiques.