Truncated Toeplitz operators are compressions of multiplication operators on L 2 to model spaces (that is, subspaces of H 2 which are invariant with respect to the backward shift). For this class of operators we prove certain Szegö type theorems concerning the asymptotics of their compressions to an increasing chain of finite dimensional model spaces. The Toeplitz operators are compressions of multiplication operators on the space L 2 (T) to the Hardy space H 2 ; the multiplier is called the symbol of the operator. With respect to the standard exponential basis, their matrices are constant along diagonals; if we truncate such a matrix considering only its upper left finite corner, we obtain classical Toeplitz matrices. It does not come as a surprise that there are connections between the asymptotics of these Toeplitz matrices and the whole Toeplitz operator, or its symbol. A central result is Szegö's strong limit theorem and its variants (see, for instance, [4] and the references within), which deal with the asymptotics of the eigenvalues of the Toeplitz matrix. On the other hand, certain generalizations of Toeplitz matrices have attracted a great deal of attention in the last decade, namely compressions of multiplication operators to subspaces of the Hardy space which are invariant under the backward shift. These " model spaces " are of the form H 2 ⊖uH 2 with u an inner function, and the compressions are called truncated Toeplitz operators. They have been formally introduced in [11]; see [8] for a more recent survey. Although classical Toeplitz matrices have often been a starting point for investigating truncated Toeplitz operators , the latter may exhibit surprising properties. It thus seems natural to see whether an analogue of Szegö's strong limit theorem can be obtained in this more general context. Viewed as truncated Toeplitz operators, the Toeplitz matrices act on model spaces corresponding to the inner functions u(z) = z n , and Szegö's theorem is about the asymptotical situation when n → ∞. The natural generalization is then to consider a sequence of zeros (λ j) in D, and to let the truncations act on the model space corresponding to the finite Blaschke product associated to λ j , 1 ≤ j ≤ n.< Réduire