The Edinburgh Encyclopaedia door Sir David Brewster