Arbre compact de Louis Joseph DIEUDONNE