Le 7 octobre — Jules Romains