Add 'etc/Pub2TEI/' from commit '5ff9187' ...

git-subtree-dir: etc/Pub2TEI
git-subtree-mainline: f9e5c01
git-subtree-split: 5ff9187

suppression ancien Pub2TEI local qui va être remplacé par une nouvelle remote upstream

imports et dépendances pour structure de package