Version importante avec de nombreuses améliorations. Des preuves en temps réel peuvent désormais être construites dans un environnement distribué ! Pas besoin d'avoir un cluster !