Quand un collègue me dit qu’un git push -f master est une bonne chose