revolución española de 1936).