add an exemple, complete the concret syntax, remove some bib, ...