Его деда, хорошо знакомого с Ломоносовым, звали Денис Васильевич. В его роду существовало определенное правило, согласно которому детям мужского пола давали имена. О каком прототипе персонажа Л. Толстого идет речь?