Towards a mechanical rule of law (Version intégrée)