Mise à jour de la procédure de travail Git (doc/commandes_git.md).
Merge branch 'documentation' into develop