le fameux informateur doit être Jean pierre petit