Monasterio de San Miguel, SAN MARTIN DE DON