kc3-lang/kc3

diff --git a/doc/1_KC3/1.17_Ident.en.md b/doc/1_KC3/1.17_Ident.en.md
index c83f21d..7f28cd6 100644
--- a/doc/1_KC3/1.17_Ident.en.md
+++ b/doc/1_KC3/1.17_Ident.en.md
@@ -13,4 +13,33 @@ ikc3> quote List.reverse
 List.reverse
 ikc3> type(quote List.reverse)
 Ident
-```
\ No newline at end of file
+```
+
+To bind a value to an ident you can use pattern matching :
+
+```elixir
+ikc3> [one, two, three | rest] = List.count(5)
+[1, 2, 3, 4, 5]
+ikc3> type(quote one)
+Ident
+ikc3> one
+1
+ikc3> two
+2
+ikc3> three
+3
+ikc3> rest
+[4, 5]
+```
+
+Otherwise you can use `KC3.def` and it will store the value in the
+graph database (facts) :
+
+```elixir
+ikc3> def one = 1
+1
+ikc3> def two = one + one
+2
+ikc3> two
+2
+```