sous-groupe - structure algébrique -