Si tes mp3 sont déjà en 128, laisse-les ainsi, les réencoder dans un autre bitrate ou un autre format entraînerait une perte de qualité sensible pour un faible gain de place. Sinon, à l'avenir, le wma est réputé pour être aussi bon en 96 que du mp3 en 128. Personnellement jamais testé à toi de le faire en partant d'un même fichier Wave (cela dépend aussi de ton oreille et du type de morceau encodé). Le mp3pro, quant à lui, permet un gain de place important mais une perte de qualité (aigus notamment)sensible, bref c'est le mp3 mais en pire. A toi de voir quel compromis qualité/quantité tu veux.