Vers une généralisation quantitative du théorème de Hall

La préimage de chaque partition (d'ensemble)
par rapport à  une fonction est encore une partition.
Nous exploitons ce fait ainsi qu'un théorème de
dualité pour démontrer une formule polynomiale
que l'on devrait, peut-être, raffiner à  l'aide
des fonctions splines.