Processus gaussiens, equivalence d'ensembles et specification locale