Pétain, un grand homme, sans conteste.