redériver (V) — dériver (V)
redériver : Dériver à nouveau.