"Antoine Lederlin" . . . "1975"^^ . . "Antoine Lederlin" . . .