Processus Gaussiens, équivalence d'ensembles et spécification locale