Jean-Marie Duval — French official