PSG-OM : prolongation ou tirs au but, que se passe-t-il en cas d’égalité à la fin du temps réglementaire lors du Trophée des champions ?