L’extrême ennui sert à nous désennuyer. La Rochefoucauld François, duc de