France deploys up to 80,000 security personnel for national holiday