Halowe Mistrzostwa Europy w Lekkoatletyce 1972 – bieg na 3000 m mężczyzn