Cabri-Euclide : un micromonde de preuve intégrant la réfutation Principes didactiques et informatiques Réalisation Vanda Luengo — 1998 Publications mathématiques et informatique de Rennes