Arbre compact de Ignace Benoit DERAET