Définition du sous-groupe et théorème de détermination des sous-groupes