Vecteurs différentiables dans les représentations unitaires des groupes de Lie Pierre Cartier (1974/1975) Séminaire Bourbaki