Recherches sur la théorie de la démonstration (Investigations on Proof Theory)