Benabou manuscript