Ligue des Champions : dispositif "massif" de "5.400" policiers et gendarmes mobilisés