Bull cède son activité cybersécurité, jadis utilisée par Kadhafi