Cadre analytique pour la méthode de division et de conquête et la programmation dynamique