Les travaux de Mars, ou l’Art de la Guerre par Allain Manesson Mallet (1630-1706)