Verifier les contraintes
## Objectif
Vérifier les contraintes sur les associations Correspondence -> City
.
## Descripion
On souhaite vérifier qu'une correspondance a une ville de départ et une ville d'arrivée ainsi que les contraintes liées à celles-ci
##Jeu de test
Test sur les villes des correspondances: association non nulle.
Numéro dans le sujet
Issue n°5