An integrable semi-discretization of the Boussinesq equation