Entonces el rey dio órdenes, y sacaron grandes piedras, piedras costosas, para echar los cimientos de la casa con piedras labradas.