Charles Joseph de Pully — French military personnel (1751–1832)