Как звали мальчика в произведении Е.Л. Шварца "Сказка о потерянном времени"?

• Петя Зубов
• Саша Иванов
• Коля Смирнов
• Денис Кораблёв