Fútbol: ¿En qué equipo jugaba Ormaechea la temporada 1971/72?