extrait-xml-éditeur
===================

Outil qui permet d'extraire le fichier XML éditeur d’une archive ZIP et de le 
renommer pour lui donner la même racine que le document auquel il fait référence. 
Il travaille sur un fichier ou sur un répertoire de fichiers “.zip”.