Voici les trois avantages de l'ennui pour la santé mentale