. Sept mille, c'est-à-dire un très grand nombre.