Comment changer des extensions des liens HTML dans un document texte ?

Solution : en utilisant Perl.