exo7 4275

1

Existence et calcul de \(f(x) = \int_0^\pi\frac{dt}{1-x\cos t}\).