J'ai ajoutê `re-naive.js`, une version courte mais mauvaise!