Topologix : repérage spatial et déduction logique - Ludosens