public void init(int i, int j, PersonnageType v) {
		if(i<0 && j <0)
			throw new PreConditionError("i>=0 && j>=0");
		super.init(i, j, v);
		if(!(super.getType()==v))
			throw new PostConditionError("getType(init(i,j,v)) == v");
		if(!(super.getForceVitale() == 3))
			throw new PostConditionError("getForceVitale(init(i,j,v)) == 3");
		if(!(super.getX() == i))
			throw new PostConditionError("getX(init(i,j,v)) == i");
		if(!(super.getY() == j))
			throw new PostConditionError("getX(init(i,j,v)) == j");
		if(!(super.getSante() == Sante.VIVANT))
			throw new PostConditionError("getSante(init(i,j,v)) == Sante::VIVANT");
		if(!(super.getCompteurFireSuit() == 0))
			throw new PostConditionError("getCompteurFireSuit(init(i,j,v)) == 0");
		if(!(super.getNbBombes() == 1))
			throw new PostConditionError("getNbBombes(init(i,j,v)) == 1");
	}