MAJ installeur pour utiliser github comme dépôt