Index of types

S
s [Terme]	Type des substitutions.
T
t [Terme]	Termes sur un signature 'a et une ensemble de variables 'b