PSG-Arsenal : avant la finale du 30 mai, quels sont les précédents affrontements entre les deux équipes en Ligue des champions ?