Strong stationary times for finite Heisenberg walks Laurent Miclo ESAIM: PS, 27 (2023) 515-557 Published online: 28 April 2023 DOI: 10.1051/ps/2023008