Collaborations between Miguel Oliveira and Jacques Lederlin