Contributions `a l"etude de -calculs avec des substitutions explicites (1993)

by A R'ios