Тем не менее, я так же считаю, что Петр Великий вполне можно сократить ;) (-)

---