Portuguese translation of the English word cease to