Un logiciel de géométrie dynamique