First small-sized Dinofelis : evidence from the Plio-Pleistocene of North Africa