Мужское имя Петр, Петя: варианты имени. Как можно называть Петра, Петю по-другом