Modification des types, premier jet fixfun