Arbre compact de Isabelle Rose COCQ