Exercice 8.1 (to be reviewed)

I have different answers depending of the type of system (asynchronous
or partially synchronous). I think it's correct and expected as this is
a 10pt question. Feel free to review