(Era un diminutivo cariñoso de David.)