Cours donné à la XIe école d’été de didactique des mathématiques (Corps, 21-30 août 2001). Paru dans les actes correspondants, La Pensée Sauvage, Grenoble, p. 41-56.