Rademacher Theorem for Fréchet spaces

Let X be a separable Fréchet space. In this paper we define a class A of null sets in X that is properly contained in the class of Aronszajn null sets, and we prove that a Lipschitz map from an open subset of X into a Gelfand-Fréchet space is Gateaux differentiable outside a set belonging to A.