Attaque à la gendarmerie de Dieuze : ce que l'on sait de l'assaillant