Bibliothèque municipale. Code de la gendarmerie. Décret du 1er mars 1854, contenant outre les dispositions réglementaires spéciales au service et à l'organisation de la gendarmerie, les rapports de ce corps avec les autorités locales et avec les autorités judiciaires, Grenoble, Prudhomme, 1854; 1864.