Fútbol/Europa: Copa de Campeones de Europa 1972/1973