20160614 world.europe: 'IS man' stabs French cop to death