Dérive y = ln x par différenciation implicite