trivialiser (V) — retrivialiser (V)
retrivialiser : Trivialiser à nouveau.