du 13 juin 1927 (Etat le 1 juillet 2021)er
Protection du droit de recours
Le recourant ne peut être puni pour avoir formé un recours disciplinaire ou un recours au tribunal.