"J. Benabou"