Méthode de validation mutuelle entre la théorie abstraite et les instances concrètes