Retrait d'une modification finalement inutile dans le makefile