exo7 4225

Chercher \(\lim_{x \to 0^+} \int_{t=x}^{2x} \frac{\cos t\,\ln(1+t^2)}{\sin^2t\,\sh t}\,d t\).