[Typer] Recursion et Indices de Debruijn