Ajout des fichiers sources
Suppression des extensions .dtx et .ins du fichier .gitignore