Résultat du Loto (FDJ) : le tirage du lundi 3 juillet 2023, 11 millions d'euros en jeu