égalité de Bézout : Égalité selon laquelle, si deux nombres a et b sont premiers entre eux, il existe des entiers u et v tels que au + bv = 1. (u et v sont aussi premiers entre eux et le couple [u, v] n'est pas unique.)