Arduino no tiene memoria para almacenar un fichero de sonido MP3, ni de cualquier otro formato. Al mismo tiempo, no tiene la potencia para dedicarse a descomprimir el formato MP3, cosa que no es facil.
Si quieres hacer esto, necesitaras un reproductor MP3 externo. Podrias bien comprarte un reproductor como los de www.jelu.se o los de Olimex. Como otra alternativa, podrias hackear un reproductor MP3 comercial que tengas por ahi.
Gracias a vuestra ayuda y a toda la información que uno puede encontrar en internet, conseguí llevar a cabo el proyecto.
Cada día me sorprende más la capacidad de aprendizaje y desarrollo que aporta internet.
Y en contribución a eso, he documentado un poco el proyecto y lo he puesto accesible a todo el mundo.
El proyecto consistía en conseguir reproducir un archivo mp3 al pasar una persona cerca de un sensor.
Podéis encontrar toda la información aquí: ductil.org