Quelle est la primitive de cos(x)/ ln(sin(x)) ?