Combien de carte rouge dans un jeu de 32