An Optimal Spectral Inequality for Degenerate Operators. - Rémi Buffe; Kim Dang Phung; Amine Slimani (SIAM J. Control. Optim., 2024)