Je vais présenter un travail en commun avec A. Chambert-Loir dans lequel nous développons, dans le cadre analytique p-adique, et plus précisément dans celui des espaces de Berkovich, un formalisme de type 'formes et courants' ressemblant à celui qui existe en géométrie complexe : nous définissons des formes de type (p,q), l'intégrale d'une forme de type (n,n) et l'intégrale de bord d'une forme de type (n-1,n) (où n est la dimension de l'espace ambiant) ; nous prouvons l'analogue de la formule de Stokes et de la formule de Poincaré-Lelong.... Nous utilisons de manière absolument cruciale une théorie des formes de type (p,q) sur R^n (que nous rapatrions ensuite dans le monde Berkovich) qui a été mise au point par Lagerberg avec des motivations tropicales ; je consacrerai une première partie de l'exposé à expliquer sa construction.