Arbres et abstraction