La regla “Dibu Martínez” en los penales ya es oficial: qué dice la norma y la verdad detrás del arquero que la inspiró