Arrêt typage Eattr : il faut modifier les types de typing.ml, pour retenir la classe des membres sélectionnés, et prendre en compte l'application des méthodes à des expressions.