Понтрягин Лев Семёнович. Большая российская энциклопедия