[Typer] Un Type indexé