Ce que l'on sait de l'attaque de la gendarmerie de Dieuze