On Tue, 17 Dec 2019, Paolo Prete wrote:
Here's the fixed version: waiting for feedbacks! (Again and again: I write these snippets really in a hurry, in these days. A more "structured" collaboration is getting necessary for me, at this point)
Put it in a little Github project? -- MT
