Dicho origen podría estar relacionado con la fundación del monasterio de San Miguel, ya mencionado en 960.