"Which Gadda should I buy?" Taking stock of Gadda's editions. (November 2017)