diff --git a/annexe/exA_1.rs b/annexe/exA_1.rs
new file mode 100644
index 0000000..952045d
--- /dev/null
+++ b/annexe/exA_1.rs
@@ -0,0 +1,5 @@
+fn main() {   
+let check : bool = true ; // suppose que c'est vrai
+	assert ! (check == true) ; // vérifier l'erreur
+	println ! ("{}", check) ;
+}
diff --git a/annexe/exA_2.rs b/annexe/exA_2.rs
new file mode 100644
index 0000000..26e986a
--- /dev/null
+++ b/annexe/exA_2.rs
@@ -0,0 +1,5 @@
+fn main() {   
+let check : bool = false ; // suppose que c'est faux
+assert ! (check == true) ; // vérifier l'erreur
+print ! ("{}", check) ;
+}