VAR e rigori: quando un penalty va (o andrebbe) ripetuto?