Mercado tradicional de la Feria de San Miguel.