Пепик - это чешское уменьшительное имя. Назовите двумя словами то, что в ЧССР получило прозвище "Большой Пепик".