Exercice 122

La fonction −ln(cos x) et une suite récurrente