Absolue/
Addition/
Axiomes/
definition/
Inverse/
Lemmes/
Lemmes_generaux/
Multiplication/
Oppose/
powerRZ_complements/
Rabsolu_complements/
Racine/
Rbase_doubles_inegalites/
Rbase_inegalites/
Rbase_operations/
Rind_complements/
Rlog/
sg/
Zabs_complements/
Zarith_inegalites/
Zarith_operations/
Zdec_complements/
Zdiv2_complements/
Zind_complements/
Zmax/
Zpower_complements/
Zsgn_complemnts/
Zsqrt_complements/