variance et sous-typage done