commandant de police, affecté à la préfecture de police, est décédé le

dans l'exercice de ses fonctions

à l'ordre de la Nation