bout_red/
fresh/
induc/
inp_red/
out_red/
processus/
substitutions/
subtyping/
swaps_proofs/
tau_red/
typing_proofs/