et ce que j'avais mis dis moi si je me trompe : si on se borne aux ensembles finis, on a bien tous les sous ensembles héréditairement (i.e. sans éléments infinis) finis de P(P(P ... P(N)  )...) avec uniquement extensionalité, paire, union, ensemble vide, sans jamais avoir besoin de l'ensemble des parties et du shéma de remplacement?