Subsitutions explicites, logique et normalisation. (Explicit substitutions, logic and normalization). - Emmanuel Polonovski (2004)