Pierre-Marie Delpech Biographie Ingénieur consultant à Arche SQL, Paris (en 1994). Contributions de Pierre-Marie Delpech Traduction La spécification formelle avec Z David Lightfoot Teknéa