Arbre compact de Blaise Petit