Integrability of the sub-Riemannian geodesic flow of the left-invariant metric on the Heisenberg group | Synapse