L'art de batir chez les Romains - Choisy, Auguste 1841-1909 (Ducher, 1873)