Mercado de San Miguel, un centro gastronómico