Arbre compact de Oscar Jules VAINQUIER