https://123dok.net/document/zkw13k4p-désigne-cotan-fonction-cotangente-cos-nombre-réel-entier.html