general denis pinto