El día de San Miguel es motivo para recordar a los 'migueles' más famosos