In characteristic zero the HKR theorem gives an identification between Hochschild chains and differential forms and the de Rham differential reads as a circle action. The goal of this talk is to explain a generalization of this result when we move to mixed and positive characteristics. This is part of a joint work with B. Toen and T. Moulinos.