deg1:Inquation de degr 1
fracx1:Fraction simple I
invx:Inverse I
invx2:Inverse II
lindeduc:Dduction linaire
majsqr1:Majorer le carr I
majsqr1b:Majorer le carr Ib
possqr1:Carr positif I
possqr2:Carr positif II
sum:Somme donne
transiadd:Transitivit et addition
xchgmult:Echange et mult
