public void init(int i, int j, VilainType v) {
		if(!(i>=0 && j>=0))
			throw new PreConditionError("i>= && j>=0");
		super.init(i, j, v);
		if(!(super.getType()==v))
			throw new PostConditionError("getType(init(i,j,v)) == v");
		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");
	}