Synonymeshippopotame pygmée