—¡Qué casa —decía uno— la del duque del Infantado cuando se hospedó en ella el rey