États-Unis: un habitant du Texas remporte un jackpot de 800 millions de dollars au Mega Millions