public void checkInvvariants() {
		contratPere.checkInvariants();
		if(!(super.getForceVitale() >= 3 && super.getForceVitale() <=11))
			throw new InvariantError("3 <= getForceVitale(P) <= 11");
		if(!(super.getNbBombes()>=0))
			throw new InvariantError("getNbBombes(P)>=0");
		if(!(super.getCompteurFireSuit()>=0))
			throw new InvariantError("getCompteurFireSuit(P)>=0");
	}