désennui (N) — ennui (N)
désennui : Cessation de l'ennui.