-¿Qué es eso, Antonio? -preguntó a éste, que venía de hacia el pórtico, desternillándose de risa.