public final void removeGnuFunctions() {
		// Parcours de tous les CFG pour extraire les fonctions
		for (ICfg cfg : this.cfgs) {
			// TODO: Définir les fonctions GNU et autres dans un fichier externe (de configuration ?)
			for (IFunction function : cfg.getFunctions()) {
				// Suppression des fonctions GNU
				if (function.getName().equalsIgnoreCase("gnu_dev_makedev")) {
					cfg.removeFunction(function.getName());
				} else if (function.getName().equalsIgnoreCase("gnu_dev_major")) {
					cfg.removeFunction(function.getName());
				} else if (function.getName().equalsIgnoreCase("gnu_dev_minor")) {
					cfg.removeFunction(function.getName());
				} else if (function.getName().equalsIgnoreCase("lstat")) {
					cfg.removeFunction(function.getName());
				} else if (function.getName().equalsIgnoreCase("stat")) {
					cfg.removeFunction(function.getName());
				} else if (function.getName().equalsIgnoreCase("mknod")) {
					cfg.removeFunction(function.getName());
				} else if (function.getName().equalsIgnoreCase("fstat")) {
					cfg.removeFunction(function.getName());
				}
			}
		}
	}