Wet op de rechterlijke organisatie:Artikel 72 [Samenstelling Hoge Raad. Raadsheren in buitengewone dienst, in deeltijd]