Stav dette: La tienda del rey Don Sancho,