Title: Stratification for noetherian families of modules of formal power series and metric properties of real analytic sets