Sur la génération des fonctions boréliennes fortement affines sur un convexe compact métrisable
On définit un filtre coanalytique sur les entiers tel que pour tout convexe compact métrisable , les fonctions boréliennes fortement affine sur , i.e. vérifiant les égalités barycentriques, soient exactement les limites simples suivant ce filtre de suites de fonctions affines continues sur .