Dictionnaire historique-portatif, contenant l'histoire des patriarches, des princes hébreux, des empereurs, des rois, et des grands capitaines