Vérification de la topologie du modèle