Résultat Loto (FDJ) : le tirage du mercredi 31 mai 2023, 12 millions d'euros en jeu