general , Duval , är död,