Spectral inequality and optimal cost of controllability for the Stokes systemFelipe W. Chaves-Silva and Gilles LebeauESAIM: COCV, 22 4 (2016) 1137-1162DOI: https://doi.org/10.1051/cocv/2016034