Исторические образы Петра Великого: от искусства до праздников