Before revision:  We give the first full characterization of discounted expected utility in a framework \`a la Savage.
After revision:  We fully characterize discounted expected utility in a framework \`a la Savage.