Pontryagin principle and envelope theorem

We provide an improvement of the maximum principle of Pontryagin of the Optimal Control problems. We establish differentiability properties of the value function of problems of Optimal Control with assumptions as low as possible. Notably, we lighten the assumptions by using Gâteaux and Hadamard differentials.