bjr
si a < b + 2 alors
a + b < b + b + 2 on ajoute b aux deux membres
a + b < 2b + 2 on ajoute -2 aux deux membres
a + b - 2 < 2b + 2 - 2
a + b - 2 < 2b
