Rappel

Sémantique

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

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

Traduction

---------