Collection search - Tit-Coq : [excerpts]