cardinal mesurable

concept un grand cardinal qui est le point critique d’un plongement élémentaire de l’univers dans une classe transitive