Milan – Juventus: la designazione arbitrale