Définition de la fonction f : t->cos(t)*arctan(t)/t, calcul de sa dérivée, tracé de f et recherche de zéros et d'extrema.