différentier (V) — redifférentier (V)
redifférentier : Différentier à nouveau.