Auteur(s) :

Groupe Logique, raisonnement et SiRC, IREM de Grenoble