Spectral inequality and optimal cost of controllability for the Stokes system Felipe W. Chaves-Silva and Gilles Lebeau ESAIM: COCV, 22 4 (2016) 1137-1162 Published online: 13 September 2016 DOI: 10.1051/cocv/2016034