Pétain, chef militaire de la première guerre mondiale