Formalisation de la recontextualisation de modèles par graphe de dépendance.