corrdistva:Correspondance Distance-valeur absolue
deducencad1:Dduction d'encadrement 1
deducencad2:Dduction d'encadrement 2
distva:Distance et valeur absolue
encadinter:Encadrement->Intervalle
equava:Equation avec deux Valeurs absolues
intuninter:Union et intersection d'Intervalles
repgraphint:Reprsentation graphique->Intervalle
resolva1:Rsolution avec une Valeur absolue
resolva2:Rsolution avec deux Valeurs absolues
transfencad1:Transformation d'encadrement
transfineg1:Transformation d'ingalit
vabsinter:Valeur absolue->Intervalle
vacalcul:Valeur absolue I
