Así que como se trataba de un lugar pequeño, le llamarían “San Miguelito”.