¿Qué árbitro, ya fallecido, representó al arbitraje español en el Mundial de 1982 de fútbol?