Résultat du Loto (FDJ) : le tirage du mercredi 1er février 2023, 9 millions d'euros en jeu