public Arbre residuel(char c){
		boolean test = false;
		for(Arbre k : premiers){
			if(k.egale(new Feuille(c))){
				test = true;
				break;
			}
		}
		if(!test) return null;
		Arbre a = this.residuelBis(c);
		if(a!=null){
			boolean b = false;
			if(a.symbole == '+'){
				Binaire tmp = (Binaire) a;
				b = tmp.droit.symbole == Arbre.MOT_VIDE || tmp.gauche.symbole == Arbre.MOT_VIDE;
			}else if(a.symbole == '*' || a.symbole == Arbre.MOT_VIDE){
				b = true;
			}
			a = a.simplification();
			if(a.symbole == '*') b = true;
			a.estResiduelTerm = b;
		}
		return a;
	}