[fgribreau]

I'm sorry, I edited a lot of time the description and indeed "make" does not go along anymore with "hype dev", I removed it, thanks for your feedback!