Vegetation changes over palaeo-time scales in Africa