Résultat Euromillions (FDJ) : le tirage du mardi 9 juillet 2024, 17 millions d'euros en jeu