boringredundant fait partie de 36 groupes