Résultat du Loto (FDJ) : le tirage du lundi 5 octobre 2020, 9 millions d'euros en jeu