Fútbol: ¿En qué equipo jugaba Del Bosque la temporada 1972/73?