Une heure pour intervenir : qu'a fait la police au cours de la fusillade au Texas ?