Differential properties of the Moreau envelope
International audience; In a vector space endowed with a uniformly Gâteaux differentiable norm, it is proved that the Moreau envelope enjoys many remarkable differential properties and that its subdifferential can be completely described through a certain approximate proximal mapping. This description shows in particular that the Moreau envelope is essentially directionally smooth. New differential properties are derived for the distance function associated with a closed set. Moreover, the analysis, when applied to the investigation of the convexity of Tchebyshev sets, allows us to recover several known results in the literature and to provide some new ones.