Re-encoding mp3 files into smaller files with lame

My old mp3 player broke quite a while ago and now I am using a very primitive one that has only 128 MB and which refused to play some mp3s. In order to fit more podcasts into the memory and to play back those unplayable mp3 files I re-encode them with lame:
lame --mp3input -V 3 --strictly-enforce-ISO --resample 12 original.mp3 reencoded.mp3