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