Formule de caractéristique de Weyl : contenu et processus de dérivation