Results for “Analyse mathematique non standard”