Es un diminutivo de Paula.