Coupe du monde 2022 : plus de 4 000 policiers et gendarmes mobilisés à Paris et en Ile-de-France pour la finale