Lionel Debroux (./7) :
Is genlib part of stdlib ?

Ah yes, I think it's the good reason. Yes, genlib is part of stdlib. But I think also that we must have the agreement of PhHd, of course.