Congé, repos, indice d’heureux délassements.