Talk:Weightlifting at the 1980 Summer Olympics – Men's 100 kg