Arbre compact de Charles-Joseph de Lorraine