Fútbol: ¿En qué equipo jugaba Tomasín la temporada 1942/43?