O tédio é a desgraça das pessoas felizes.