Coupe du monde 2022 : 12 840 policiers et gendarmes mobilisés samedi en France, 14 000 pour la finale de dimanche