Also, when a correct processes wishes to broadcast an information for the system, it does so by making means of a Reliable Broadcast [1]} primitive. Thanks to this, Byzantine processes cannot stop the spread of information in the system. We now build on this to define the following broadcast primitive.
