La grande faune africaine disparaît du Sahara aux environs de 4000 BP