Rédaction : gérer les différences de versions avec Git

https://engagees.hypotheses.org/3959