Formule de cos(arctan(x))