Fútbol: ¿Cuántos equipos disputaron la 1ª División española la temporada 1972/73?