A case of the deformational Hodge conjecture via a pro Hochschild-Kostant-Rosenberg theorem

En suivant des idées de Bloch, Esnault et Kerz, nous établissons la partie formelle de la conjecture de Hodge variationnelle pour les schémas propres et lisses sur K〚t〛, où K est une extension algébrique de Q. L'outil principal est un théorème de Hochschild-Kostant-Rosenberg pro pour l'homologie de Hochschild.