Compacte boom van Hendrik Jan Ingensz