Journal officiel omnämner sorgehögtiden iföljande