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