Measurement, Architecture, and Antiquarianism in the 18th Century