This study analyses the economic rent generated by the exploitation of a non-renewable resource, and the taxation of this rent. We present a synthetic model of a non-renewable-resource sector where deposits must be costly developed before they are exploited; the analysis emphasizes the effect of resource taxation on the discouragement to the development of new reserves. We discuss the limitations of neutral profit-taxation schemes and examine the distortions caused by various resource-taxation systems on the rent and its allocation: tax evasion, royalty-induced distortions, imperfect tax commitment, agency issues... We also discuss the measurement of resource rents for taxation purposes, and issues with the management of the resource tax income.