We establish necessary conditions of optimality for problems of optimal control Theory in the discrete time framework with infinite horizon. Our necessary conditions are in the form of Pontryagin principles. We treat smooth and partially nonsmooth settings, without concavity. A strong motivation...