Dictionnaire historique et bibliographique portatif