Dictionnaire international des traités — Roger Froment, Jacques Destrais