diff --git a/doc/1_KC3/1.17_Ident.en.md b/doc/1_KC3/1.17_Ident.en.md
index 768c502..c81db89 100644
--- a/doc/1_KC3/1.17_Ident.en.md
+++ b/doc/1_KC3/1.17_Ident.en.md
@@ -4,6 +4,8 @@ The KC3 `Ident` type is an identifier. An identifier evaluates to its
bound value in the current environnement, that is in local and global
frames and then in the triple store.
+## 1.17 Examples
+
To get an `Ident` you can use quote :
```elixir