david hume (trad. josé oscar de almeida marques)