No es un diminutivo.