Et si Pétain était sorti de la guerre en héros ?