Saltos en los Juegos Olímpicos de verano de 1972: trampolín de 3 metros masculino