How a race of pygmies was found in North Africa and Spain