git diff : compare la version repo pointé par HEAD et ce qui se trouve dans notre working directory