The Penguin dictionary of eigteenth-century history / edited by Jeremy Black and Roy Porter.