Pov: quand ton prof t'explique les axiomes de ZFC, la théorie des modèles et la vraie définition d'une fonction avec des ensembles