We prove a local index theorem of Atiyah-Singer type for Dirac operators on manifolds with a Lie structure at infinity (Lie manifolds for short). After introducing a renormalized supertrace on Lie manifolds with spin ...