Talk:Weightlifting at the 1988 Summer Olympics – Men's 82.5 kg