La Cour des Comptes a évalué à un peu plus de 9 milliards d'euros les moyens budgétaires alloués de 2015 à 2019 à la lutte contre le terrorisme