L'instruction de la gendarmerie départementale et de la garde républicaine mobile — France. Ministère de la guerre (1791-1936)