¡oh Virgen piadosa de Covadonga!… ¿qué era?