Concavité de f(x) = ln x sur (0, infinity)