os carpinteiros, construtores e os pedreiros; e que comprem madeira e pedras lavradas com arte para restaurar a Casa.