Inl inr dans Terms