Comme

Sémantique

Définition d'une contrainte sur un type de base...

Définition d'une comparaison par rapport à un modèle...

Traduction

---------