Piłka nożna/Świat: Igrzyska olimpijskie 1972