What was the French army's post-WW2 revisions to their military doctrine and theory? How has their theory/doctrine evolved in the Cold War world?