Inter-Milan, supplementari in caso di parità? Cosa dice il regolamento della Coppa Italia