Smale's $\alpha$--theory