Это вообще-то его имя - Петя, а по отцу он Петрович. Почему в семье его не могут шутливо называть Петя Петрович))) Вы не в себе совсем? Гном Гномыч это реально прозвище какое-то, а Петя Петрович это его имя и отчество по свидетельству о рождении.