  The asymptotic trace formula of A. Connes is restated in a semi-local form,
thus showing that the difficulties in giving a direct proof do not lie in the
change of topology when transgressing from finitely many places to infinitely
many.
