Lors d’un match de coupe, en cas d’égalité à l’issue du temps réglementaire, comment appelle-t-on la période supplémentaire qui précède la séance des tirs au but ?