@Override
	public void setBloc(int x, int y, int z, BlocService b) {
		if (!((x >= 0) && (x < nbBlocLargeur()))) {
			throw new PreconditionError("setBloc");
		}
		if (!((y >= 0) && (y < nbBlocHauteur()))) {
			throw new PreconditionError("setBloc");
		}
		if (!((z >= 0) && (z < nbBlocProfondeur()))) {
			throw new PreconditionError("setBloc");
		}

		checkInvariant();
		super.setBloc(x, y, z, b);
		checkInvariant();
		if (!(super.getBloc(x, y, z).getObjet() == b.getObjet())) {
			throw new PostconditionError("setBloc");
		}
		if (!(super.getBloc(x, y, z).getType() == b.getType())) {
			throw new PostconditionError("setBloc");
		}
	}