!! used as default html header if there is none in the selected theme.
Traduire/Formaliser
Traduire/Formaliser
--- Introduction ---
Ce module contient 14 exercices sur la traduction et la formalisation d'énoncé mathématiques. Beaucoup de ces exercices sont des versions améliorées des exercices du module Méthodologie2002.