Hello, si tu utilise audacity, tu peux exporter les fichiers en wav, c'est le format audio "de base" sans compression (c'est pour ça qu'ils sont gros), sélectionner la séquence (ou toute la piste) et exporter en wav (dans Fichier ou Edition ch'sais plus).
Pour graver, n'importe quel logiciel du moment qu'il propose "CD audio", car même si les fichiers seront gravé tel quels, il y a des subtilités dans l'architecture du Cd audio pour qu'il soit lu partout (notamment dans les autos-radios), tu peux utiliser nero ou autre. Sinon il existe des gratuits comme deepburner par exemple.
Si tu veux quand-même exporter en mp3, c'est possible avec audacity si tu télécharge lame (télécharger.com) et que tu luis donne le chemin de lame_enc.dll (que tu aura préalablement dézippé dans un endroit quelconque, genre program files). Ou alors tu utilises un autre logiciel à partir des wav, Media Coder Audio Edition fait ça très bien (dans les paramètres. LAME mp3, extreme)