Dans un jeu de 52 cartes on tire une carte au hasard