Tema: ¿Cuál es el origen etimológico del nombre de Marmolejo en Jaén?

Hola soy nuevo en el foro y la pregunta que me gustaría haceros es cuál creéis que es el origen del nombre Marmolejo, es el nombre de mi pueblo en la provincia de Jaén.
Estoy haciendo una web sobre su historia pero no consigo encontrar información sobre esto y la que hay no me convence mucho.
Muchas gracias.

En este enlace podéis encontrar las teorias al respecto.
Villa de Marmolejo » Etimología de Marmolejo

Lo siento si lo he hecho mal, pero no sabía muy bien donde poner el mensaje.
No se hacerlo, así que si alguien puede, o algún admin, que cierre alguno de los hilos y deje el que este en el lugar correcto