Pétain et l'histoire — Ferdinand Lop