Cas

Sémantique

Définition de la partie générique d'un type...

Définition d'un cas d'un éclatement...

Traduction

---------