Preuves de propriétés de fatalité temps-réel… · Super Livre