gitignore et 4D : une fonctionnalité utile pour les utilisateurs de Git