* sec'=sec tan est utile suffisamment souvent pour qu'il vaille le coup d'éviter de se taper la règle du quotient à chaque fois.
* Essaye d'intégrer 1/cos(x) sans les sécantes. Galère.
Maintenant, intègre sec(x) en ayant les formules du message ./32 sous les yeux. Tu remarqueras que sec'=sec tan et tan'=sec². Fais la somme, et tu observeras un petit truc qui te donne immédiatement ta primitive. (sec+tan)'=sec(sec+tan), donc sec=(sec+tan)'/(sec+tan) -> u'/u, d'où la primitive ln(|sec+tan|)