eight_red_coins fait partie de 8 groupes