. . "Ecologie de la preuve et de la d\u00E9monstration / Marc Legrand,... / Grenoble : Irem de Grenoble , 1989" . "1989"^^ . . . . "1"^^ .