Arnaud04 Bonjour, Ce message pour vous présenter le logiciel Automath, qui sert à générer des feuilles d'opérations posées (additions) avec le corrigé. Une fiche a été créée sur la doc : http://doc.ubuntu-fr.org/automath Arnaud
