Definition:

convivial