que quedan de una obra, cantera, &c.