Henrion, Henri, ed. lit.