[nécrologie d' Edmond Destaing. décédé en 1940.] — Georges Marcy