Non standard analysis (Soc. Math. de Belgique, 1996)