cardinal d'un ensemble

Nombre d'éléments d'un ensemble.