Le nombre d'agressions de policiers et gendarmes a-t-il vraiment doublé en 15 ans, comme l'affirme Gérald Darmanin ?