Arbre compact de Josephe GADT