Ennui : et si ne rien faire était vital pour le cerveau, surtout à l'ère du smartphone ?