Envoyer par SMS: Pseudo basic steps: bound improvement guarantees from Lagrangian decomposition in convex disjunctive programming