SAN MARTIN DEL PIMPOLLAR: ¿está documentado que sea una tumba?...

¿está documentado que sea una tumba?
¿podéis indicarme dónde está?