Arbre compact de Prosper Joseph Ridde