  We revisit the well known Bohr-Sommerfeld quantization rule (BS) of order 2
for a self-adjoint 1-D $h$-Pseudo-differential operator within the algebraic
and microlocal framework of Helffer and Sj\"ostrand
