clean:
	rm -rf CIVLREP SARL_Why3 *~