… et surtout la section "Removing a File from Every Commit", c'est assez la classe ! Bon par contre ça ne réduit pas immédiatement la copie locale du dépôt car les commits sont encore liés par le backup de filter-branch et par le reflog. Pour vraiment nettoyer, il faut virer ces deux références et passer le GC, voir la fin de la page de man, c'est tout bien expliqué.