Restructuration of §4 Systerel to improve readability +  introduction and transitions