Commutative Ring Theory/Bézout domains