Merci pour ces précisions. Nous auditionnerons le directeur général de la police nationale sur ces points. Vous avez mis l'accent sur les effectifs, mais les matériels n'ont pas suivi. L'évolution de la part des dépenses, hors personnel, dans le budget du ministère de l'intérieur est frappante : après s'être redressée en 2015 et 2016, elle s'est écroulée par la suite.