Ce papier présente une étude formelle du partitionnement automatique - ou introduction de mobilité - dans le domaine des Canevas de Simulation Numérique Répartie. Appliquée à ce domaine, l'introduction de mobilité repose sur le principe suivant : pour alléger les contraintes d'efficacité qui pèsent sur la conception des interfaces de données numériques, des tranches de programmes sont exécutées à distance sur les machines qui hébergent les données accédées, de sorte que les interactions distantes soient transformées en interactions locales. Cette technique permet au concepteur d'interfaces de toujours offrir la plus fine granularité d'interaction inter-composant - et donc un degré élevé de réutilisabilité des composants - sans sacrifier les performances de l'application répartie. Ce papier présente un modèle formel de l'introduction de mobilité dans les systèmes répartis et démontre un théorème de correction pour cette transformation.