Philippe Petain - Isorni, Jacques (La table ronde, 1972)