Combien coûte la protection de François Hollande?