También le llaman la Picota o la Peña del Castillo. Pero es el León Dormido el nombre con el que se