Soit M un ensemble symétrique de R^n (invariant sous permutations de coordonnées), et soit lambda^{-1}M l'ensemble des matrices symétriques dont les valeurs propres sont dans M. Alors lambda^{-1}M est une variété C2, C^{infty}, analytique, algébrique si M l'est. Travail en collaboration avec: J. Malick (Grenoble), H. Sendov (London, Canada)