Compacte boom van Henricus Lensen