Operateur

Sémantique

Définition d'une méthode d'un type...

Définition du corps d'une méthode d'un type...

Traduction

---------