+isotopies compile