Nous parlons uniquement de personnels de sécurité du ministère de l'Intérieur. Les autres personnels de sécurité sont comptabilisés par ailleurs, en dehors de l'espace sécurisé que j'ai évoqué. Précisons qu'aucun policier de la préfecture de police de Paris ne figurait dans ce fichier avant l'attaque du 3 octobre 2019.