carpinteiros, canteiros e pedreiros, e para comprar a madeira e as pedras de cantaria necessárias às reparações.