nettoyage de vieux trucs, au pire, c'est dans l'historique de git