Résultat de l'Euromillions (FDJ) : le tirage du vendredi 10 juillet 2020, 17 millions d'euros en jeu