Grothendieck_trace_formula loading ...