Collaborations between Jacques Lederlin and Miguel Oliveira