INFO EUROPE 1 – PSG-Barcelone : sept compagnies de CRS, un millier de policiers, BRI... Ce que l’on sait du dispositif policier