\( \definecolor{colordef}{RGB}{249,49,84} \definecolor{colorprop}{RGB}{18,102,241} \)
  1. Déterminer la dérivée de \(x\mapsto \ln(\cos(x))\).
    \((\ln(\cos(x)))'=\)
  2. En déduire l'intégrale indéfinie \(\displaystyle\int \tan(x) \,dx\).
    \(\displaystyle\int \tan(x) \,dx =\)