ZFC et redondance

Bonjour à tous,
On sait que ZFC peut être écrite avec seulement 7 axiomes ou schémas : extensionnalité, réunion, parties, infini, remplacement, fondation, choix. Je suppose que AC est vrai dans l'univers ambiant, et je cherche à prouver qu'aucun de ces axiomes n'est redondant.
Pour l'extensionnalité : il existe des modèles de ZFA (avec atomes) qui satisfont tout le reste.
Pour les parties : la collection des ensembles héréditairement dénombrables est modèle de tout sauf l'axiome des parties.
Pour l'infini : $V_{\omega}$ est modèle de tout sauf l'infini.
Remplacement : $V_{\omega + \omega}$ est modèle de tout sauf le remplacement.
Choix : Là, on a même un résultat d'indépendance, mais il faut utiliser les constructibles dans un sens et le forcing dans l'autre.
Fondation : Idem, puisque $V$ est modèle de ZF, et on peut fabriquer des modèles de ZF - AF avec la technique des modèles de permutation.
Reste l'axiome de la réunion : quelqu'un a-t-il un exemple d'une structure qui serait modèle de tout sauf la réunion ?
Merci d'avance
Martial