The size of topographic depressions in a Sahelian savanna is a driver of woody vegetation diversity. (March 2023)