Ensembles pics pour
Soit un domaine borné strictement pseudoconvexe dans à frontière régulière . On montre que tout compact d’une sous-variété de dont l’espace tangent en chaque point de est contenu dans le sous-espace complexe maximal de est un ensemble pic pour , la classe des fonctions analytiques dans dont toutes les dérivées sont continues dans .