Redefinition de Fr_Mu*