2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/227916This is a companion paper our previous submission "\infty-categories monoidales rigides et caracteres de Chern", in which we give a comparison between functions on the derived loop space of a smooth scheme of caracteristic zero, and its algebraic de Rham cohomology. As a consequence we obtain functorial and multiplicative versions of the HKR decomposition theorem relating Hochschild homology and Hodge cohomology.French, 18 pagesAlgebraic GeometryAlgebraic TopologyS^1-Equivariant simplicial algebras and de Rham theorytext