cuando fue el fusilamiento de torrijos