Lazio-Milan, designato l’arbitro Rocchi