Петренко Алексей Васильевич. Большая российская энциклопедия