«Envelope theorem in dynamic economic models with recursive utility»