Gnyegyenko, Boris Vladimirovich véase Gnedenko, Boris Vladimirovich, 1912-