clean:
	rm -rf CIVLREP *~ SARL_Why3