Spectre de contrainte à plusieurs niveaux