[Bou84], chap. 1.