Given a finite Coxeter system (W, S), we exhibit an explicit "small" resolu
tion of the trivial Z[W]-module. This is obtained by an explicit combinator
ial construction of k(W, 1), which is described as a CW-complex with cells
corresponding to flags in S. Some applications are given.