Arbre compact de Martin Severin DERUDDER