L’ennui, c’est pas une perte de temps. C’est une fonction mentale essentielle qu’on a appris à redouter pour de mauvaises raisons.