clean:
	rm -rf *~ CIVLREP SARL_Why3