algèbre de Bézout