Premier typage structurel pour lambda