Fútbol: ¿Qué selecciones jugaron la final en el Mundial de España 1982?