Davoust, Adrien, soldat des troupes de la Compagnie des Indes, mutilé 1772