Le grand dictionnaire historique/éd. de 1759/Tezcuco
TEZCUCO, ville de la province de Méxique, en Amérique. Elle est sur le bord oriental du lac de Mexique, à six lieues de la ville de ce nom. Elle est peu considérable, quoiqu’elle soit capitale d’un gouvernement assez étendu. Lorsque Ferdinand Cortez assiégea la ville de Méxique, il fit faire à Tezcuco un canal de demilieue, pour y construire dix-huit brigantins, dont il avoit besoin pour le siége de Méxique, & la ville de Tezcuco nourit quatre cens mille Indiens employés à ce travail pendant quarante jours, outre cent mille soldats Indiens que Cortez avoit à sa suite. Mais aujourd’hui elle est à peine l’ombre de ce qu’elle étoit autrefois, les Espagnols ayant presque exterminé les anciens habitans des environs de Mexique. * Mati, dict. Hist. de la conquête du Méxique.