Discriminant Reduit Formule