Tu vas dans "préférences" puis "réglage d'importation". Tu choisis "encodeur MP3" dans "importer via". Fais attention au débit que tu vas choisir (320, 192, 128..).
Après tu sélectionnes le ou les morceaux que tu veux convertir et tu vas sur l'onglet "Avancé". Et là, tu fais "convertir en MP3".