J.-M. Vagnat, Parallèle des lois de bâtiments et de la propriété… (1836)
“ TRAVAUX MILITAIRES, Les travaux militaires sont les ouvrages sous la direction des officiers du génie militaire, pour places de guerre, casernement des troupes et tous ouvrages relatifs à la défense du territoire du royaume. ”
