Fonctions de type trace réelles et formes hermitiennes horizontales
1986 ◽
pp. 232-244