Manipulations algébriques et sur
les nombres réels