Basic notions of possibility theory