Haute-Garonne : ce que l'on sait de l'agression d'un gendarme avec un couteau