implication, conditions de simplification d'une équation, démonstration. 2)
Contrôler ... Traduire un texte algébrique écrit sous une forme inhabituelle en
langage ... tesse. Girard est un algébriste tr`es en pointe pour son époque ; dans
son livre. 
