“…(I) if |tr X 0 (0)| < 2, then, under some regularity assumptions on Jacobi parameters, the measure µ is purely absolutely continuous on R with positive continuous density, see [23,25,56,58,59]; (II) if |tr X 0 (0)| = 2, then we have two subcases: TOME 0 (0), FASCICULE 0 (a) if X 0 (0) is diagonalizable, then, under some regularity assumptions on Jacobi parameters, there is a compact interval I ⊂ R such that the measure µ is purely absolutely continuous on R\I with positive continuous density and it is purely discrete in the interior of I, see [11,12,13,15,16,21,22,27,49,56,57,63]; (b) if X 0 (0) is not diagonalizable, then only certain examples have been studied, see [9,14,24,26,40,41,41,42,43,44,47,55,71].…”