Y el teniente Mantilla se llevó la mano a la gorra, saludó militarmente y se marchó a su posada.