Lichtenstein_ fait partie de 80 groupes