Substitutions explicites, logique et normalisation (2004)

by E Polonovski