Ce m moire est consacr principalement l' tude des programmes de branchement incr mentaux. Le programme de branchement est un mod le de calcul qui capture la quantit de m moire requise la r solution d'un probl me calculatoire. Afin de capturer une fa on naturelle de construire un programme de branchement r solvant GEN (un probl me P-complet), la restriction d'incr mentalit a t invent e. Dans ce m moire, nous proposons principalement une m thode pour transformer un certain type de programme de branchement en un programme enti rement syntaxique incr mental. Nous prouvons aussi que de d terminer s'il existe un chemin incr mental dans un programme de branchement est NP-complet.