Exode 23:12

Le septième jour tu te reposeras. Cet ordre est répété ici de peur que personne ne pense que le repos hebdomadaire pourrait cesser quand toute l'année a été consacrée au repos. Il y avait trois sortes de sabbats pour les Juifs, 1er, des jours : 2d, des années, à savoir, la septième année ; 3d, des semaines d'années, à savoir, le jubilé. Et ce sont tous des types du repos éternel dans le ciel, où la douleur et le chagrin n'entreront jamais.