The page "http://www.ledman.ch/new/textes/index.html" has been moved to https://www.ledman.tech/wiki/doku.php?id=start:other:texts