AJout d'un script bash générant le fichier config indiquant numéro et date de...

AJout d'un script bash générant le fichier config indiquant numéro et date de version de l'appli, à l'aide de git.