Grácias por tu respuesta. Ya lo había intentado (seleccionando todos los contactos) y entre muchas opciones, solo me dá, para exportar, opcción de "transferir" y por "SMS/MMS", con lo cual no me crea ningún fichero y no sé donde irá a parar.
Me imagino que el teléfono ya tendrá creado ahora mísmo un fichero y ese es el que a mí me gustaría saber como se llama y donde está.
Un saludo.