[Typer] Représentation compacte d'arbres