Théorie sur la mise en forme des arbres. + Démonstration