Le repos est un outil de productivité.