Formule des traces de Gutzwiller