Perso, j'avais problème pour exporter sous WAV ou MP3 et finalement, le problème se résoud à la seule condition d'exporter vers le dossier "Audacity" contenu dans "Applications". Une fois enregistré, je le récupère depuis iTunes, et je le grave après l'avoir mis dans une liste... et ça marche...