Dictionnaire général de police administrative et judiciaire de la France.