L'équivalence des types nécessite que tous les types participants, ainsi que toutes les méthodes et tous les champs de ces ...