Compact tree of Marinus Mazure