Fusillades à Vienne : ce que l'on sait de l'assaillant tué