Arbre compact de Isabelle BAFCOP