Digesto de guerra (Arsenal principal de guerra, 1907)