Le théorème de Hochschild-Kostant-Rosenberg classique identifie l'homologie de Hochschild d'une algèbre commutative lisse avec son algèbre des formes de de Rham algébriques. Connes a remarqué que l'on peut interpréter la différentielle de de Rham sur le complexe de Hochschild conduisant à la notion d'homologie cyclique vue comme une "géométrie non-commutative". Ces résultats donnent des moyens combinatoire de calculer l'homologie de Hochschild. Plus récemment, motivé par des problèmes de topologie et géométrie algébrique, Toën-Vezzosi ont démontré que l'homologie de Hochschild s'identifiait comme un espace de lacets en géométrie dérivée et l'homologie cyclique en terme d'action du cercle sur lui-même.
Le but de l'exposé est d'expliquer un théorème de type HKR pour des espaces Map(X,Y) de fonctions plus généraux et d'expliquer en particulier comment comprendre le théorème de Hochschild-Kostant-Rosenberg comme la combinaison d'un théorème de lissité et d'un théorème de formalité.