JO de Paris 2024 : des policiers et gendarmes déployés en renfort à la frontière britannique