si tu ne l'as pas, télécharges le :
http://mitiok.cjb.net/ (ce lien est aussi indiqué sur le site d'Audacity).
les encodeurs mp3 ne sont plus fournis dans certains logiciels car il y a des problèmes de licence (avant c'était complétement gratuit).
Dans Audacity, le choix du débit d'encodage des MP3 se fait par le menu "Fichier/Préférences/Formats de Fichiers/Initialisation de l'exportation MP3"