Propriétés différentielles locales des ensembles analytiques