stora boulevarderna och på alla offentliga byggnader vajade flaggorna på half stång.