Nonstandard Analysis: a New Way to Compute