Sous-groupe non distingué

[formule] dans [formule]

[formule].