betapar/
commutation/
comparith/
conf_local_SL/
confluence_LSL/
conf_strong_betapar/
determinePC_SL/
egaliteTS/
inversionSL/
lambda_sigma_lift/
Newman/
Pol1/
Pol2/
resoudPC_SL/
sigma_lift/
SLstar_bpar_SLstar/
sur_les_relations/
terminaison_SL/
TS/
Yokouchi/