Campeonato de Europa de atletismo en pista cubierta de 1972 - 3000 metros masculino