Entrada de San Miguel de Baga, San Miguel de Bagá