Résultat Loto (FDJ) : le tirage du mercredi 4 octobre 2023, 9 millions d'euros en jeu