"Jacques Andrieux"@cs .