11 000 policiers prévus aux JO