Modification mineure du Makefile