Définitionscorrespondant local