“…For more generic Hamiltonians, the semiclassical trace formula gives us one of the most important tools in this direction. There has been many mathematical publications, leading to a rigorous version of this formula [19,14,4,18,21,20,7,8], many years after Gutzwiller has introduced it [15]. Let us now present a detailed description of this result.…”