Approssimazione algebrica locale di insiemi semianalitici