"ajout des répertoires de compilation à gitignore