Vérification du modèle - Éléments interconnectés