A better understanding of Mycobacterium tuberculosis virulence mechanisms is highly dependent on the design of efficient mutagenesis systems. A system enabling the positive selection of insertional mutants having lost the delivery vector was developed. It uses ts-sacB vectors, which combine the counterselective properties of the sacB gene and a mycobacterial thermosensitive origin of replication and can therefore be efficiently counterselected on sucrose at 39 degrees C. This methodology allowed the construction of M. tuberculosis transposition mutant libraries. Greater than 10(6) mutants were obtained, far exceeding the number theoretically required to obtain at least one insertion in every nonessential gene. This system is also efficient for gene exchange mutagenesis as demonstrated with the purC gene: 100% of the selected clones were allelic exchange mutants. Therefore, a single, simple methodology has enabled us to develop powerful mutagenesis systems, the lack of which was a major obstacle to the genetic characterization of M. tuberculosis.