L'un des tireurs de la fusillade de Washington, qui a fait treize morts dans les locaux de la marine américaine lundi, a été abattu par la police.