L'ennui est une chose qui gagne chacun d'entre nous un jour ou l'autre. Autant s'amuser, pour pouvoir le quitter, et en pêchant ou révisant quelques connaissances au passage.